joshcbrown.tngl.sh / holbert-ng
the next generation of the in-browser educational proof assistant
Star
Fork 0
Watch
Open Merged Closed
New
test #3mj23zf3s3k22
Open joshcbrown.tngl.sh
· · 0 comments
functorise StringAxiomSet #3mizysx7fw522
Open joshcbrown.tngl.sh
· · 0 comments
move to list-based combine atom functor rather than sum tree #3mizysx7ftn22
Open joshcbrown.tngl.sh
· · 0 comments
clean ATOM/BASE_ATOM signature #3mizysx7fn222
Open joshcbrown.tngl.sh
· · 0 comments