https://github.com/vonavi/proof-by-refl

Proof by reflection with examples
https://github.com/vonavi/proof-by-refl

Last synced: about 1 month ago
JSON representation

Proof by reflection with examples

• Host: GitHub
• URL: https://github.com/vonavi/proof-by-refl
• Owner: vonavi
• License: gpl-3.0
• Created: 2021-07-25T06:48:49.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2021-08-06T09:13:04.000Z (over 3 years ago)
• Last Synced: 2024-11-05T12:06:20.454Z (3 months ago)
• Language: TeX
• Size: 24.4 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project