https://github.com/pigworker/LEOG

being an implementation of the calculus of constructions
https://github.com/pigworker/LEOG

Last synced: 3 months ago
JSON representation

being an implementation of the calculus of constructions

• Host: GitHub
• URL: https://github.com/pigworker/LEOG
• Owner: pigworker
• Created: 2023-02-19T14:44:24.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-03-09T18:08:49.000Z (over 1 year ago)
• Last Synced: 2024-06-30T15:46:21.676Z (5 months ago)
• Language: TeX
• Size: 374 KB
• Stars: 15
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# LEOG

being an implementation of the calculus of constructions