Commits · main · Iris / Coq Tricks

01 Dec, 2021 3 commits
- add link to tej list · 706863d0
  Michael Sammler authored Dec 01, 2021
  
  706863d0
- add multisuccess · 87e002de
  Michael Sammler authored Dec 01, 2021
  
  87e002de
- add custom_typeclass_db · 8ec08fe4
  Michael Sammler authored Dec 01, 2021
  
  8ec08fe4
25 Nov, 2021 1 commit
- add causes for slow Qed · c4038e68
  Michael Sammler authored Nov 25, 2021
  
  c4038e68
22 Nov, 2021 3 commits
- add todos · 188c6e0c
  Michael Sammler authored Nov 22, 2021
  
  188c6e0c
- add simpl.v · ee88f0b6
  Michael Sammler authored Nov 22, 2021
  
  ee88f0b6
- Initial commit · 7b391b72
  Michael Sammler authored Nov 22, 2021
  
  7b391b72