What would a proof assistant look like on a console? Navigating an on-screen keyboard with the analog stick is not a good idea.
Conversation
structure editing! with auto-suggested names from context, and intelligent hole-filing suggestions
3
4
can't wait to prove things with Alfa on my PS1
1
2
