liamoc.net / holbert-ng
the next generation of the in-browser educational proof assistant
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

holbert-ng / src /
at main 37 files
AtomDef.res
AxiomSet.res
Component.res
ConfigBlock.res
Editable.res
HOTerm.res
HOTerm.resi
HOTermJView.res
HOTermJView.resi
HOTermMethod.res
HOTermView.res
HOTermView.resi
InductiveSet.res
Method.res
MethodView.res
Parser.res
Portal.res
Proof.res
ProofView.res
Rule.res
RuleView.res
SExp.res
SExpView.res
ScopeView.res
Scratch.res
SidebarContext.res
Signatures.res
StringA.res
StringA.resi
StringAxiomSet.res
Symbolic.res
Symbolic.resi
TermViewAsJudgmentView.res
Theorem.res
Util.res
componentgraph.ts
testcomponent.tsx