harp-project/Core-Erlang-Formalization

Language: Coq - Size: 57 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 10 - Forks: 1

rlepigre/pml

New version of the PML language and (classical) proof assistant

Language: OCaml - Size: 5.78 MB - Last synced at: 18 days ago - Pushed at: almost 3 years ago - Stars: 20 - Forks: 2

Intelligent-CAT-Lab/UIUCPlus

Evaluation task for 2024 UIUC+ undergraduate interns

Language: Java - Size: 95.9 MB - Last synced at: 10 months ago - Pushed at: 11 months ago - Stars: 7 - Forks: 59