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.

new
HOTerm atom fixes #8
open
joshcbrown.tngl.sh 0 comments round #0
expand 3 pulls in this stack
#2 add atom prelude functionality
0
#2
#1 initial associative-commutative atom definition
0
#2
#3 reorganise atom defns
0
#2
functorise StringAxiomSet #7
open
joshcbrown.tngl.sh 0 comments round #0
clean ATOM/BASE_ATOM signature #6
open
joshcbrown.tngl.sh 0 comments round #0
move to list-based combine atom functor rather than sum tree #5
open
joshcbrown.tngl.sh 0 comments round #0
port github CI to tangled #4
open
joshcbrown.tngl.sh 0 comments round #0