https://github.com/nyuichi/leanhol

super tiny implementation of higher-order logic proof assistant in lean
https://github.com/nyuichi/leanhol

higher-order-logic lean proof-assistant

Last synced: about 2 months ago
JSON representation

super tiny implementation of higher-order logic proof assistant in lean

• Host: GitHub
• URL: https://github.com/nyuichi/leanhol
• Owner: nyuichi
• Created: 2019-01-25T05:13:20.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-09-29T02:37:22.000Z (over 5 years ago)
• Last Synced: 2024-10-16T03:48:04.977Z (3 months ago)
• Topics: higher-order-logic, lean, proof-assistant
• Language: Lean
• Size: 21.5 KB
• Stars: 21
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project