https://github.com/sunsided/coq-playground

Toying around with the Coq Proof Assistant
https://github.com/sunsided/coq-playground

coq interactive-proofs

Last synced: about 1 month ago
JSON representation

Toying around with the Coq Proof Assistant

• Host: GitHub
• URL: https://github.com/sunsided/coq-playground
• Owner: sunsided
• Created: 2024-01-20T19:19:56.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-01-21T20:11:17.000Z (about 1 year ago)
• Last Synced: 2024-11-06T05:43:25.197Z (3 months ago)
• Topics: coq, interactive-proofs
• Language: Coq
• Homepage:
• Size: 6.84 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# 🐓 Coq Playground

Toying around with [The Coq Proof Assistant]. Thematically related to my [Lean4 Playground].

[The Coq Proof Assistant]: https://coq.inria.fr/

[Lean4 Playground]: https://github.com/sunsided/lean4-playground