Commits

Branch selector

 1.1.0

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 21, 2024

• 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

Commits on Dec 14, 2021

• add github action for continuous integration (#3)

  fblanqui

  authored
  c476b0f

  Copy full SHA for c476b0f

Commits on Dec 10, 2021

• Structured proofs (#2)

  Show description for 8b7006d
  fblanqui

  authored
  8b7006d

  Copy full SHA for 8b7006d

Commits on Jul 29, 2021

• add max

  fblanqui

  committed
  2d1a418

  Copy full SHA for 2d1a418

Commits on May 25, 2021

• fix infix operator applications

  fblanqui

  committed
  e8e53ae

  Copy full SHA for e8e53ae

Commits on Apr 5, 2021

• definition and proofs on <=

  fblanqui

  committed
  32779d1

  Copy full SHA for 32779d1

Commits on Mar 26, 2021

• improve README

  fblanqui

  committed
  b497f61

  Copy full SHA for b497f61

• improve notations

  fblanqui

  committed
  d2d56a8

  Copy full SHA for d2d56a8

• improve README

  fblanqui

  committed
  c40b33b

  Copy full SHA for c40b33b

• add README file

  fblanqui

  committed
  75729ca

  Copy full SHA for 75729ca

• split Logic in various files, and remove impredicativity

  fblanqui

  committed
  bff7e82

  Copy full SHA for bff7e82

Commits on Mar 25, 2021

• indentation

  fblanqui

  committed
  0a09ff6

  Copy full SHA for 0a09ff6

• simpl -> simplify

  fblanqui

  committed
  8e56283

  Copy full SHA for 8e56283

Commits on Mar 23, 2021

• list reversal

  fblanqui

  committed
  2037f80

  Copy full SHA for 2037f80

• remove useless comment

  fblanqui

  committed
  e7dde4c

  Copy full SHA for e7dde4c

Commits on Mar 17, 2021

• remove type annotations

  fblanqui

  committed
  9b15f2b

  Copy full SHA for 9b15f2b

Commits on Mar 16, 2021

• remove debug commands

  fblanqui

  committed
  e28f620

  Copy full SHA for e28f620

Commits on Mar 15, 2021

• update syntax

  fblanqui

  committed
  0696378

  Copy full SHA for 0696378

Commits on Feb 17, 2021

• use induction tactic

  fblanqui

  committed
  34d4c19

  Copy full SHA for 34d4c19

Pagination

Previous

Next