LeanHOL
LeanHOL
copied to clipboard
Published
20 hours ago
•
nyuichi
→
Metadata
super tiny implementation of higher-order logic proof assistant in lean
Readme
Issues
←
Metadata
20
Stars
0
Forks
Watchers
Owner
nyuichi
Metadata
super tiny implementation of higher-order logic proof assistant in lean
Back