Linking pages
- GitHub - klaudiosinani/awesome-prolog: Curated list of Prolog packages and resources https://github.com/klauscfhq/awesome-prolog 15 comments
- Automated Propositional Sequent Proofs in Your Browser with Tau Prolog | Hey There Buddo! https://www.philipzucker.com/javascript-automated-proving/ 3 comments
- GitHub - LPCIC/coq-elpi: Coq plugin embedding elpi https://github.com/LPCIC/coq-elpi 1 comment
- Embedding E-graph Rewriting and Egglog in Constraint Handling Rules | Hey There Buddo! https://www.philipzucker.com/egraph-chr/ 0 comments
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - LPCIC/elpi: Embeddable Lambda Prolog Interpreter
See how to search.