liamoc.net / holbert-ng
the next generation of the in-browser educational proof assistant
Star
Fork 2
Watch
holbert-ng src
51 files
AssocComm.res
AssocCommBase.res
AtomBase.res
AtomDef.res
AxiomSet.res
Component.res
componentgraph.ts
ConfigBlock.res
Editable.res
EditableLabel.res
HOInductiveSet.res
HOMethods.res
HOMethodsView.res
HONotation.res
HOTerm.res
HOTerm.resi
HOTermView.res
HOTermView.resi
IdentifierView.res
Method.res
MethodView.res
MixfixGrammar.res
MixfixLex.res
MixfixParser.res
MixfixPrinter.res
outside-click.js
Parser.res
Portal.res
Preludic.res
Proof.res
ProofView.res
resizable.js
Rewrite.res
RewriteView.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