зеркало из
https://github.com/iharh/notes.git
synced 2025-10-29 12:46:06 +02:00
11 строки
244 B
Plaintext
11 строки
244 B
Plaintext
https://alt-ergo.ocamlpro.com
|
|
http://alt-ergo.lri.fr/
|
|
|
|
https://github.com/OCamlPro/alt-ergo
|
|
|
|
2014
|
|
http://www.ocamlpro.com/2014/07/15/try-alt-ergo-in-your-browser/
|
|
|
|
samples
|
|
https://github.com/OCamlPro/alt-ergo/tree/master/sources/examples/valid
|