Mallku2

Postdoc researcher at FAMAF,UNC

Córdoba, Argentina

Pinned Repositories

ethos
A Flexible and Efficient Proof Checker for SMT Solvers
Language:C++15 6 107
RelationChangingLogicsInCoq
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq
Language:Coq01
AletheInEunoia
Alethe in AletheLF: Signature files, and examples to express Alethe proofs in AletheLF
0 0 00
ethos
A Flexible and Efficient Proof Checker for SMT Solvers
Language:C++00
lua-gc-redex-model
This is the mechanization of the semantics presented in "Decoding Lua: Formal Semantics for the Developer and the Semanticist", extended with garbage collection.
Language:Racket3 3 01
lua-redex-model
Mechanization in PLT Redex of the Lua's semantics described in "Decoding Lua: Formal Semantics for the Developer and the Semanticist"
Language:Racket100
luasafe-redex
Mechanization in Redex of LuaSafe
Language:Racket2 2 00
mallku2.github.io
Language:CSS1 2 00
PLN-2015
Language:Python00
redex2coq
Source code of redex2coq.
Language:Coq1 2 01

Mallku2/lua-redex-model
Mechanization in PLT Redex of the Lua's semantics described in "Decoding Lua: Formal Semantics for the Developer and the Semanticist"
Language:Racket100
Mallku2/lua-gc-redex-model
This is the mechanization of the semantics presented in "Decoding Lua: Formal Semantics for the Developer and the Semanticist", extended with garbage collection.
Language:Racket3 3 01
Mallku2/luasafe-redex
Mechanization in Redex of LuaSafe
Language:Racket2 2 00
Mallku2/mallku2.github.io
Language:CSS1 2 00
Mallku2/redex2coq
Source code of redex2coq.
Language:Coq1 2 01
Mallku2/AletheInEunoia
Alethe in AletheLF: Signature files, and examples to express Alethe proofs in AletheLF
0 0 00
Mallku2/ethos
A Flexible and Efficient Proof Checker for SMT Solvers
Language:C++00
Mallku2/PLN-2015
Language:Python00