Pinned Repositories
key
KeY Theorem Prover for Deductive Java Verification
AlgebraSkript
key
KeY Theorem Prover for Deductive Java Verification
key-docs
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/verifiedVotingRuleConstruction