Pinned Repositories
CoqGym-GNN
A Learning Environment for Theorem Proving with the Coq proof assistant
cs-224n-final-project
The Ghost Shell
et
Edward-Tufte inspired Jekyll Theme.
fair-winds
code for fair winds applications
hall-monitor
Hall Monitor for Servers
motoko
notes
A collection of notes by Daniel Jenson.
danjenson's Repositories
danjenson/CoqGym-GNN
A Learning Environment for Theorem Proving with the Coq proof assistant
danjenson/cs-224n-final-project
The Ghost Shell
danjenson/et
Edward-Tufte inspired Jekyll Theme.
danjenson/fair-winds
code for fair winds applications
danjenson/hall-monitor
Hall Monitor for Servers
danjenson/motoko
danjenson/notes
A collection of notes by Daniel Jenson.