https://github.com/sacerdot/matita

An Interactive Theorem Prover for a variant of the Calculus of (Co)Inductive Constructions
https://github.com/sacerdot/matita

Last synced: about 1 month ago
JSON representation

An Interactive Theorem Prover for a variant of the Calculus of (Co)Inductive Constructions

• Host: GitHub
• URL: https://github.com/sacerdot/matita
• Owner: sacerdot
• Created: 2023-02-16T10:43:10.000Z (almost 2 years ago)
• Default Branch: master
• Last Pushed: 2024-11-29T01:15:28.000Z (about 2 months ago)
• Last Synced: 2024-11-29T02:26:18.559Z (about 2 months ago)
• Language: Mathematica
• Size: 26.9 MB
• Stars: 6
• Watchers: 2
• Forks: 2
• Open Issues: 4
• Metadata Files:

Awesome Lists containing this project