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
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
add atom prelude functionality #2
open
joshcbrown.tngl.sh 0 comments round #1
expand 2 pulls in this stack
#1 initial associative-commutative atom definition
0
#1
#3 reorganise atom defns
0
#1