{
}
grace17
grace17 wordmark
The grace17 wordmark: lowercase monospace letters with a drawn set-membership symbol as the e.
an open source proof assistant for mathematics
based on set theory
{
Introduction
,
Documentation
,
Cumulus
,
Workbench
,
Install
,
Community
}
github.com/grace17-prover/grace17