Pinned Repositories
key
KeY Theorem Prover for Deductive Java Verification
AlgebraSkript
key
KeY Theorem Prover for Deductive Java Verification
key-docs
LeanCourse24
Bonn Lean course for winter 24/25
verifiedVotingRuleConstruction
verifiedVotingRuleConstruction
A Framework for the Verified Construction of Fair Voting Rules
roundEaredSengi's Repositories
roundEaredSengi/AlgebraSkript
roundEaredSengi/key
KeY Theorem Prover for Deductive Java Verification
roundEaredSengi/key-docs
roundEaredSengi/LeanCourse24
Bonn Lean course for winter 24/25
roundEaredSengi/verifiedVotingRuleConstruction