forge
login
or
join now
joshcbrown.tngl.sh
/
holbert-ng
forked from
liamoc.net/holbert-ng
star
0
fork
atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
the next generation of the in-browser educational proof assistant
star
0
fork
atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
overview
issues
pulls
3
pipelines
3 open
0 merged
0 closed
new
functorise StringAxiomSet
#3
open
joshcbrown.tngl.sh
3 weeks ago
0 comments
round
#0
clean ATOM/BASE_ATOM signature
#2
open
joshcbrown.tngl.sh
3 weeks ago
0 comments
round
#0
move to list-based combine atom functor rather than sum tree
#1
open
joshcbrown.tngl.sh
3 weeks ago
0 comments
round
#0