liamoc.net / holbert-ng
the next generation of the in-browser educational proof assistant
Star
Fork 2
Watch
Open Merged Closed
New
rescript13 #3mtc2m4enig22
Open mio19.uk
· · 0 comments
HOTerm atom fixes #3mlknieskru22
Open joshcbrown.tngl.sh
· · 0 comments
add atom prelude functionality #3mke3eh2j2t22
Open joshcbrown.tngl.sh
· · 0 comments
initial associative-commutative atom definition #3mke3eh2ixg22
Open joshcbrown.tngl.sh
· · 0 comments
reorganise atom defns #3mke3eh2iqf22
Open joshcbrown.tngl.sh
· · 0 comments
Atom for HOTerm #3mkwck25umn22
Open mio19.uk
· · 0 comments
add sub-menu for introduction rules with more than 1 sub #3mjdltb23te22
Open joshcbrown.tngl.sh
· · 0 comments
format Method.res #3mjdltb23oz22
Open joshcbrown.tngl.sh
· · 0 comments
renames #3mjdltb23kj22
Open joshcbrown.tngl.sh
· · 0 comments
functorise StringAxiomSet #3mj223oynsi22
Open joshcbrown.tngl.sh
· · 0 comments
move to list-based combine atom functor rather than sum tree #3mj223oynoh22
Open joshcbrown.tngl.sh
· · 0 comments
clean ATOM/BASE_ATOM signature #3mj223oyng522
Open joshcbrown.tngl.sh
· · 0 comments
port github CI to tangled #3mj2b7duswu22
Open joshcbrown.tngl.sh
· · 0 comments