index
:
chadprover
master
Software for automated proofs.
filip.rabiega@gmail.com
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
bin
/
main.ml
blob: 19dd333eb63d18d65bbf595f7f87dc5e8c4df52b (
plain
)
1
2
3
4
let () = Dream.run (fun _ -> Dream.html "Sup yall!" )