1. 15 Sep, 2020 1 commit
  2. 18 Jun, 2020 1 commit
  3. 16 Apr, 2020 1 commit
    • Paolo G. Giarrusso's avatar
      Add `ProofIrrel ()` · 47755ced
      Paolo G. Giarrusso authored
      This instance might seem odd, but `ProofIrrel` takes a `Type` and not a `Prop`,
      and stdpp already has instances for products.
      47755ced
  4. 13 Mar, 2020 1 commit
  5. 29 Jan, 2019 1 commit
  6. 15 Mar, 2017 1 commit
  7. 31 Jan, 2017 3 commits
  8. 22 Aug, 2016 1 commit
  9. 03 Mar, 2016 1 commit
  10. 13 Feb, 2016 1 commit
  11. 16 Nov, 2015 1 commit
  12. 08 Feb, 2015 1 commit
  13. 06 Aug, 2014 1 commit
  14. 02 May, 2014 1 commit
  15. 24 Jun, 2013 1 commit
  16. 14 Mar, 2013 1 commit