Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / m4lvin/lean4-pdl issues and pull requests
#6 - LeanAgent Proofs
Pull Request -
State: closed - Opened by Adarsh321123 4 months ago
- 1 comment
#5 - Modelgraphs
Pull Request -
State: closed - Opened by m4lvin over 1 year ago
#4 - Basic modal logic
Pull Request -
State: closed - Opened by m4lvin over 1 year ago
#3 - import the tablean project
Issue -
State: closed - Opened by m4lvin over 1 year ago
- 1 comment
#2 - rewrite Bml to use modelgraphs
Issue -
State: closed - Opened by m4lvin over 1 year ago
- 1 comment
#1 - set up blueprint
Issue -
State: closed - Opened by m4lvin over 1 year ago
- 1 comment