Commits

Branch selector

 1.2.0

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 4, 2025

• ci: check lambdapi 2.6.0

  fblanqui

  committed
  47db76e

  Copy full SHA for 47db76e

• prepare new release

  fblanqui

  committed
  39f728f

  Copy full SHA for 39f728f

Commits on Jan 31, 2025

• Details (#30)

  Show description for bd9470e
  fblanqui

  authored
  bd9470e

  Copy full SHA for bd9470e

• Set: add axiom saying that sets are non-empty (#27)

  fblanqui

  authored
  2a4794a

  Copy full SHA for 2a4794a

Commits on Jan 25, 2025

• Adapt to lambdapi PR1182 + some renamings and fixes (#29)

  Show description for 1fff6f4
  fblanqui

  authored
  1fff6f4

  Copy full SHA for 1fff6f4

Commits on Dec 31, 2024

• do not use underscores in assume

  fblanqui

  committed
  fe8c175

  Copy full SHA for fe8c175

• do not use underscores in assume (#26)

  fblanqui

  authored
  3754ae8

  Copy full SHA for 3754ae8

Commits on Dec 10, 2024

• List: add iota and indexes (#24)

  fblanqui

  authored
  2d460f2

  Copy full SHA for 2d460f2

• or/and: infix left -> right (#18)

  fblanqui

  authored
  cc92b78

  Copy full SHA for cc92b78

Commits on Nov 19, 2024

• Bool: declare istrue as a coercion (#22)

  fblanqui

  authored
  d1bdf8f

  Copy full SHA for d1bdf8f

• ci: test more versions of lambdapi (#23)

  fblanqui

  authored
  91aa5e7

  Copy full SHA for 91aa5e7

• Add files for using higher-order logic (#21)

  Show description for d5126ad
  fblanqui

  authored
  d5126ad

  Copy full SHA for d5126ad

• Some cleaning (#20)

  Show description for ed517d0
  fblanqui

  authored
  ed517d0

  Copy full SHA for ed517d0

Commits on Nov 17, 2024

• finish the proof of eqn (#19)

  fblanqui

  authored
  7f8c051

  Copy full SHA for 7f8c051

Commits on Jul 8, 2024

• Bump ocaml/setup-ocaml from 2 to 3 (#17)

  Show description for f181b9b
  dependabot[bot]

  authored
  f181b9b

  Copy full SHA for f181b9b

Commits on Jun 21, 2024

• Bump actions/checkout from 3 to 4 (#16)

  Show description for 4b1e74a
  dependabot[bot]

  authored
  4b1e74a

  Copy full SHA for 4b1e74a

• add dependabot.yml (#15)

  fblanqui

  authored
  a2d68ac

  Copy full SHA for a2d68ac

• opam file: remove invalid field uninstall + add field build

  fblanqui

  committed
  e71b5d1

  Copy full SHA for e71b5d1

• add classical logic (#14)

  fblanqui

  authored
  5584437

  Copy full SHA for 5584437

Commits on Oct 20, 2023

• ci: test newer versions of lambdapi (#12)

  fblanqui

  authored
  6559f04

  Copy full SHA for 6559f04

Commits on Feb 27, 2023

• fix library name and repo (#11)

  fblanqui

  authored
  f4b491c

  Copy full SHA for f4b491c

• slight improvements following bug fixes in lambdapi (#10)

  Show description for 7eae789
  fblanqui

  authored
  7eae789

  Copy full SHA for 7eae789

• replace s by postfix +1 (#9)

  Show description for 4e72e32
  fblanqui

  authored
  4e72e32

  Copy full SHA for 4e72e32

Commits on Oct 19, 2022

• add binary integers (#1)

  QGarchery

  authored
  163f496

  Copy full SHA for 163f496

Commits on Oct 18, 2022

• add doc and a few other things (#8)

  Show description for a0f2296
  fblanqui

  authored
  a0f2296

  Copy full SHA for a0f2296

Commits on Oct 14, 2022

• Library on natural numbers and lists inspired by ssrnat.v and seq.v (#5)

  Show description for 920f59e
  

  qbuzet

  and

  fblanqui

  authored
  920f59e

  Copy full SHA for 920f59e

Commits on Oct 7, 2022

• fix CI: set ocaml-compiler (#7)

  fblanqui

  authored
  ca484ec

  Copy full SHA for ca484ec

Commits on Aug 31, 2022

• CI: check lambdapi 2.2.1 (#6)

  fblanqui

  authored
  ac3279c

  Copy full SHA for ac3279c

Commits on Apr 5, 2022

• details

  fblanqui

  committed
  e072e1b

  Copy full SHA for e072e1b

• Merge remote-tracking branch 'refs/remotes/origin/master'

  fblanqui

  committed
  051047b

  Copy full SHA for 051047b

• update CI script

  fblanqui

  committed
  4fd241f

  Copy full SHA for 4fd241f

Commits on Jan 27, 2022

• CI: test various versions of lambdapi (#4)

  Show description for f3839b3
  fblanqui

  authored
  f3839b3

  Copy full SHA for f3839b3

• add blanqui-lib.opam

  fblanqui

  committed
  1093941

  Copy full SHA for 1093941

• add license file

  fblanqui

  committed
  2ed1c12

  Copy full SHA for 2ed1c12

• change root_path and Makefile

  fblanqui

  committed
  583a629

  Copy full SHA for 583a629

Pagination

Previous

Next