mio19.uk / holbert-ng
the next generation of the in-browser educational proof assistant
Star
Fork 0
Watch
holbert-ng src
39 files
AssocComm.res
AssocCommBase.res
AtomBase.res
AtomDef.res
AxiomSet.res
Component.res
componentgraph.ts
ConfigBlock.res
Editable.res
HOTerm.res
HOTerm.resi
HOTermMethod.res
HOTermView.res
HOTermView.resi
InductiveSet.res
Method.res
MethodView.res
Parser.res
Portal.res
Preludic.res
Proof.res
ProofView.res
Rule.res
RuleView.res
ScopeView.res
Scratch.res
SExp.res
SExpView.res
SidebarContext.res
Signatures.res
StringA.res
StringA.resi
StringAxiomSet.res
Symbolic.res
Symbolic.resi
TermViewAsJudgmentView.res
testcomponent.tsx
Theorem.res
Util.res