Settings

Theme

Grace17 – a new proof assistant for mathematics based on set theory

grace17.org

2 points by specialgoodness · 0 comments

Reader

No comments yet.

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection