roundEaredSengi

Pinned Repositories

key
KeY Theorem Prover for Deductive Java Verification
Language:Java41 4 3.1k24
Kodoshi
Language:C#00
key
KeY Theorem Prover for Deductive Java Verification
Language:Java00
key-docs
Language:TeX00
verifiedVotingRuleConstruction
Language:Isabelle00
verifiedVotingRuleConstruction
A Framework for the Verified Construction of Fair Voting Rules
Language:Isabelle3 2 08

roundEaredSengi's Repositories

roundEaredSengi/key
KeY Theorem Prover for Deductive Java Verification
Language:Java00
roundEaredSengi/key-docs
Language:TeX00
roundEaredSengi/verifiedVotingRuleConstruction
Language:Isabelle00