Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / deducteam/lambdapi-logics issues and pull requests
#10 - Inf: remove builtins
Pull Request -
State: closed - Opened by fblanqui 19 days ago
#9 - Remove some opaque symbols in Zenon library
Pull Request -
State: closed - Opened by gburel 8 months ago
#8 - ci: test new versions of lambdapi
Pull Request -
State: closed - Opened by fblanqui 8 months ago
#7 - ci: test newer versions of lambdapi
Pull Request -
State: closed - Opened by fblanqui over 1 year ago
#6 - U: fix #4 precedence of negation
Pull Request -
State: closed - Opened by fblanqui almost 2 years ago
- 1 comment
#5 - Adding parentheses to be sure it will be parsed right. Closes #4
Pull Request -
State: closed - Opened by gburel almost 2 years ago
- 1 comment
#4 - U: Classic connectives parsed incorrectly
Issue -
State: closed - Opened by gburel almost 2 years ago
- 1 comment
#3 - remove TFF files on natural numbers and lists
Pull Request -
State: closed - Opened by fblanqui over 2 years ago
#3 - remove TFF files on natural numbers and lists
Pull Request -
State: closed - Opened by fblanqui over 2 years ago
#2 - Conflict between max and disjunction
Issue -
State: closed - Opened by jnarboux over 2 years ago
- 3 comments
#1 - CI: use ocaml 3.13.1 to compile lambdapi
Pull Request -
State: closed - Opened by fblanqui almost 3 years ago