alpha
Login
Join now
roughlynamed.net
/
pegasus
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
objective categorical abstract machine language personal data server
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
pegasus
/
mist
/
lib
1 folder
·
6 files
at
oauth
futurGH
·
new ocamlformat version
·
10mo ago
f498dc1c
storage
Fix incorrect inductive proof generation
11mo ago
blob_ref.ml
Make casing consistent
11mo ago
dune
Move repository to pegasus, remove unused deps
1y ago
lex.ml
Make casing consistent
11mo ago
mst.ml
new ocamlformat version
10mo ago
tid.ml
Fix TID monotonicity
1y ago
util.ml
Port all MST tests
1y ago