LeanHOL icon indicating copy to clipboard operation
LeanHOL copied to clipboard

Published 20 hours ago • verified publisher icon nyuichi
→

Metadata

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

Results 0 LeanHOL issues
Sort by recently updated
recently updated
newest added

← Metadata

20
Stars
0
Forks
Watchers

Owner

verified publisher icon nyuichi

Metadata

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

Back