Stars
3
stars
written in Lean
Clear filter
super tiny implementation of higher-order logic proof assistant in lean
super tiny implementation of higher-order logic proof assistant in lean