Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with prover9
A curated list of projects in awesome lists tagged with prover9 .
https://github.com/zehengl/smu-cse-7320
SMU CSE 7320 Artificial Intelligence
artificial-intelligence first-order-logic prover9
Last synced: 23 Nov 2024
https://github.com/jaalonso/cursos_de_ra
Recopilación de cursos de razonamiento automático.
acl2 agda automated-reasoning coq courses interactive-theorem-proving isabelle-hol lean otter proof-assistant prover9 pvs
Last synced: 06 Dec 2024
