roundEaredSengi

Pinned Repositories

key
KeY Theorem Prover for Deductive Java Verification
Language:Java54 4 3.1k29
AlgebraSkript
Language:TeX00
key
KeY Theorem Prover for Deductive Java Verification
Language:Java0 0 00
key-docs
Language:TeX0 0 00
LeanCourse24
Bonn Lean course for winter 24/25
Language:Lean00
verifiedVotingRuleConstruction
Language:Isabelle0 0 00
verifiedVotingRuleConstruction
A Framework for the Verified Construction of Fair Voting Rules
Language:Isabelle3 2 08

roundEaredSengi's Repositories

roundEaredSengi/AlgebraSkript
Language:TeX00
roundEaredSengi/key
KeY Theorem Prover for Deductive Java Verification
Language:Java0 0 00
roundEaredSengi/key-docs
Language:TeX0 0 00
roundEaredSengi/LeanCourse24
Bonn Lean course for winter 24/25
Language:Lean00
roundEaredSengi/verifiedVotingRuleConstruction
Language:Isabelle0 0 00