Ferinko

Formal verification engineer. PhD. in formal software verification / formalization of mathematics.

Pinned Repositories

CPPAmpRaytracer
Language:C++00
FormalAutomata
Language:Lean00
Lean-4-Literature
A curated list of Lean 4 literature
30
LeanAStar
Language:Lean20
LeanSha
Language:Lean30
risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Language:Lean00
ZKLib
A Library for Formally Verified Cryptographic Proof Systems
Language:Lean00
Clear
Interactive formal verification tool for Yul programs
Language:Lean51 4 04
EVMYulLean
Executable formal model of the EVM and Yul in Lean 4.
Language:Lean44 2 94
horus-checker
Horus, a formal verification tool for StarkNet smart contracts.
Language:Haskell72 8 157

Ferinko's Repositories

Ferinko/Lean-4-Literature
A curated list of Lean 4 literature
30
Ferinko/LeanSha
Language:Lean30
Ferinko/LeanAStar
Language:Lean20
Ferinko/CPPAmpRaytracer
Language:C++00
Ferinko/FormalAutomata
Language:Lean00
Ferinko/risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Language:Lean00
Ferinko/ZKLib
A Library for Formally Verified Cryptographic Proof Systems
Language:Lean00