metaocaml

7Hitze

1Antwort

Concoqtion (Coq + MetaOCaml) - warum aufgegeben?

Bevor ich Leute auf der OCaml-Mailingliste abgehört habe, dachte ich, ich könnte meine Frage hier posten. Ich habe gerade diese beauty entdeckt (Link zur Concoqtion Website). Concoqtion ist eine Erwei