Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / deducteam/lambdapi-stdlib issues and pull requests
#25 - Preliminary: alternative context-extension for dependent-types
Pull Request -
State: open - Opened by 1337777 about 2 months ago
#25 - Preliminary: alternative context-extension for dependent-types
Pull Request -
State: open - Opened by 1337777 about 2 months ago
#24 - List: add iota and indexes
Pull Request -
State: open - Opened by fblanqui 2 months ago
#24 - List: add iota and indexes
Pull Request -
State: open - Opened by fblanqui 2 months ago
#23 - ci: test more versions of lambdapi
Pull Request -
State: closed - Opened by fblanqui 2 months ago
#22 - Bool: declare istrue as a coercion
Pull Request -
State: closed - Opened by fblanqui 2 months ago
- 2 comments
#22 - Bool: declare istrue as a coercion
Pull Request -
State: closed - Opened by fblanqui 2 months ago
- 2 comments
#21 - Add files for using higher-order logic
Pull Request -
State: closed - Opened by fblanqui 2 months ago
#21 - Add files for using higher-order logic
Pull Request -
State: closed - Opened by fblanqui 2 months ago
#20 - Some cleaning
Pull Request -
State: closed - Opened by fblanqui 2 months ago
#20 - Some cleaning
Pull Request -
State: closed - Opened by fblanqui 2 months ago
#19 - finish the proof of eqn
Pull Request -
State: closed - Opened by fblanqui 2 months ago
#19 - finish the proof of eqn
Pull Request -
State: closed - Opened by fblanqui 2 months ago
#18 - or/and: infix left -> right
Pull Request -
State: open - Opened by fblanqui 2 months ago
- 1 comment
#18 - or/and: infix left -> right
Pull Request -
State: open - Opened by fblanqui 2 months ago
- 1 comment
#17 - Bump ocaml/setup-ocaml from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies
#17 - Bump ocaml/setup-ocaml from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies
#16 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies
#16 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies
#15 - add dependabot.yml
Pull Request -
State: closed - Opened by fblanqui 7 months ago
#14 - add classical logic
Pull Request -
State: closed - Opened by fblanqui 7 months ago
#13 - Add classic logic operators
Pull Request -
State: open - Opened by NotBad4U 12 months ago
- 4 comments
#12 - ci: test newer versions of lambdapi
Pull Request -
State: closed - Opened by fblanqui over 1 year ago
#11 - Fix library name and repo
Pull Request -
State: closed - Opened by fblanqui almost 2 years ago
#10 - slight improvements following bug fixes in lambdapi
Pull Request -
State: closed - Opened by fblanqui almost 2 years ago
#9 - replace s by postfix +1
Pull Request -
State: closed - Opened by fblanqui about 2 years ago
#8 - add doc and a few other things
Pull Request -
State: closed - Opened by fblanqui over 2 years ago
#7 - CI: set ocaml-compiler
Pull Request -
State: closed - Opened by fblanqui over 2 years ago
#6 - CI: check lambdapi 2.2.1
Pull Request -
State: closed - Opened by fblanqui over 2 years ago
#5 - Library on natural numbers and lists inspired by ssrnat.v and seq.v
Pull Request -
State: closed - Opened by qbuzet over 2 years ago
- 1 comment
#4 - CI: test various versions of lambdapi
Pull Request -
State: closed - Opened by fblanqui almost 3 years ago
#3 - add github action for continuous integration
Pull Request -
State: closed - Opened by fblanqui about 3 years ago
#2 - Structured proofs
Pull Request -
State: closed - Opened by fblanqui about 3 years ago
#1 - Binary integers
Pull Request -
State: closed - Opened by QGarchery over 3 years ago
- 15 comments