anderssch

Pinned Repositories

cutest-AAU
CuTest: C Unit Testing Framework — AAU version
Language:C11
LTS-formalization
Formalization of LTS, Datalog, PDS and more
Language:Isabelle0 4 00
Pushdown
Language:C++00
RPx
Language:Standard ML21
sml-handbook
SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
Language:OCaml00
isabelle_smt
SMT-LIB Theories in Isabelle/HOL
Language:Isabelle00
IsaFoL
Language:Isabelle2 0 00
sml-handbook
SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
Language:OCaml34 3 05

anderssch's Repositories

anderssch/RPx
Language:Standard ML21
anderssch/cutest-AAU
CuTest: C Unit Testing Framework — AAU version
Language:C11
anderssch/LTS-formalization
Formalization of LTS, Datalog, PDS and more
Language:Isabelle0 4 00
anderssch/Pushdown
Language:C++00
anderssch/sml-handbook
SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
Language:OCaml00