Verified Calculations

Case studies

• Identity
• SingleFixpoint
• KnasterTarski
• List
• MajorityVote