Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / deducteam/skonverto issues and pull requests
#8 - update code wrt lambdapi 2.2.0
Pull Request -
State: closed - Opened by fblanqui almost 3 years ago
#8 - update code wrt lambdapi 2.2.0
Pull Request -
State: closed - Opened by fblanqui almost 3 years ago
#7 - Cleaning code and commenting
Pull Request -
State: open - Opened by elhaddadyacine over 3 years ago
- 5 comments
#7 - Cleaning code and commenting
Pull Request -
State: open - Opened by elhaddadyacine over 3 years ago
- 5 comments
#6 - correct type for \exists_E predicate
Pull Request -
State: closed - Opened by gburel over 3 years ago
#6 - correct type for \exists_E predicate
Pull Request -
State: closed - Opened by gburel over 3 years ago
#5 - get kappa from sig
Pull Request -
State: closed - Opened by elhaddadyacine over 3 years ago
#5 - get kappa from sig
Pull Request -
State: closed - Opened by elhaddadyacine over 3 years ago
#4 - Commutative cuts
Pull Request -
State: closed - Opened by gburel almost 4 years ago
#4 - Commutative cuts
Pull Request -
State: closed - Opened by gburel almost 4 years ago
#3 - Changes ocaml versions
Pull Request -
State: closed - Opened by elhaddadyacine almost 4 years ago
#2 - update the code for the new version of lambdapi dev-74a47238
Pull Request -
State: closed - Opened by elhaddadyacine almost 4 years ago
#1 - Adding functionalities to the tool (WIP).
Pull Request -
State: closed - Opened by elhaddadyacine about 5 years ago