dan
0 Followers · 0 Following
  • Joined on 2019-07-30
Repositories
13
 Projects Packages Public Activity Starred Repositories
dan created repository dan/ocaml-wiringpi 2019-07-30 11:04:39 +02:00
dan pushed to master at dan/czf 2019-07-30 11:02:35 +02:00
3da73646d1 add big_union
0578569c09 stronger collection
c9f427f737 Hacky version of the Collection axiom
a27e73014c extensionality
ea05bc91fd Separation axiom
dan created repository dan/czf 2019-07-30 11:02:22 +02:00
dan pushed to master at dan/hoare-completeness 2019-07-30 10:46:57 +02:00
198a61611d Add disclamer
0c55194a2f cleanup
aa65e1af67 Initial import
dan created repository dan/hoare-completeness 2019-07-30 10:46:02 +02:00
dan pushed to master at dan/scripts 2019-07-30 10:44:43 +02:00
d1cb291299 osz-extract
f3491e803e record sound script
dan created repository dan/scripts 2019-07-30 10:43:08 +02:00