https://github.com/ayazhafiz/hoff

Homotopy and Function proofs, for free
https://github.com/ayazhafiz/hoff

Last synced: 3 months ago
JSON representation

Homotopy and Function proofs, for free

• Host: GitHub
• URL: https://github.com/ayazhafiz/hoff
• Owner: ayazhafiz
• Created: 2022-10-09T02:22:12.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-10-09T02:23:47.000Z (over 2 years ago)
• Last Synced: 2024-05-02T02:22:24.389Z (8 months ago)
• Size: 7.06 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project