We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Fixed a few types in HERMIT.Dictionary.Reasoning
fixed type of `inst-lemma`
Unit tested things
Updated HERMIT to HERMIT Shell (markdown)
Moved unsafe-replace into the right module
HERMIT.Dictionary.Remembered
HERMIT.Shell.Proof
beginScope and endScope are correctly interpreted by the server