https://github.com/baberrehman/coqart

https://github.com/baberrehman/coqart

coq coq-art

Last synced: 9 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/baberrehman/coqart
• Owner: baberrehman
• License: mit
• Created: 2022-10-07T14:53:12.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2022-10-07T15:03:44.000Z (about 2 years ago)
• Last Synced: 2024-10-10T21:41:01.846Z (about 1 month ago)
• Topics: coq, coq-art
• Language: Coq
• Homepage: https://www.labri.fr/perso/casteran/CoqArt/
• Size: 346 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        

# Coq'Art