OCaml & Coq while not @ work
-
Evrone.com
- Tver, Russia
- http://argent-smith.github.com
Block or Report
Block or report argent-smith
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
Notification messages for cucumber features run in autotest
-
mirage-presentation-server Public
Simple MirageOS http server for exported static html/js presentations
OCaml 4