forge
login
or
join now
liamoc.net
/
holbert-ng
star
1
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
1
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
7
pipelines
7 open
0 merged
0 closed
new
functorise StringAxiomSet
#7
open
joshcbrown.tngl.sh
2 days ago
0 comments
round
#0
clean ATOM/BASE_ATOM signature
#6
open
joshcbrown.tngl.sh
2 days ago
0 comments
round
#0
move to list-based combine atom functor rather than sum tree
#5
open
joshcbrown.tngl.sh
2 days ago
0 comments
round
#0
port github CI to tangled
#4
open
joshcbrown.tngl.sh
2 days ago
0 comments
round
#0
add atom prelude functionality
#2
open
joshcbrown.tngl.sh
2 days ago
0 comments
round
#1
expand 2 pulls in this stack
#1
initial associative-commutative atom definition
0
comments
round
#1
#3
reorganise atom defns
0
comments
round
#1