https://github.com/hengxin/chapar-coq

Report: Coq, Chapar, and Coq Again
https://github.com/hengxin/chapar-coq

beamer-presentation chapar coq disalg

Last synced: 15 days ago
JSON representation

Report: Coq, Chapar, and Coq Again

• Host: GitHub
• URL: https://github.com/hengxin/chapar-coq
• Owner: hengxin
• License: mit
• Created: 2019-04-16T03:43:49.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-07-11T07:51:25.000Z (over 5 years ago)
• Last Synced: 2024-11-10T14:14:02.321Z (2 months ago)
• Topics: beamer-presentation, chapar, coq, disalg
• Language: TeX
• Size: 5.46 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project