Skip to main content
kutschkem's user avatar
kutschkem's user avatar
kutschkem's user avatar
kutschkem
  • Member for 24 days
  • Last seen more than a week ago
3 votes
2 answers
86 views

Using if in Fixpoint

1 vote
1 answer
46 views

Arguing with sumbools

1 vote
1 answer
76 views

Best practices: Should I prefer definitions or iff when defining predicates?

0 votes
1 answer
31 views

What to import to use le_not_gt_iff?