- 09 Mar, 2018 1 commit
-
-
Heiko Becker authored
Refactor exp type into expr type because of name clash with new coq version, move ExpOrderedType module into separate file
-
- 28 Feb, 2018 2 commits
-
-
Heiko Becker authored
-
Heiko Becker authored
-
- 18 Dec, 2017 1 commit
-
-
Nikita Zyuzin authored
-
- 22 Nov, 2017 1 commit
-
-
Heiko Becker authored
-
- 20 Nov, 2017 1 commit
-
-
Heiko Becker authored
-
- 17 Nov, 2017 1 commit
-
-
Heiko Becker authored
-
- 16 Nov, 2017 1 commit
-
-
Nikita Zyuzin authored
-
- 15 Nov, 2017 1 commit
-
-
Nikita Zyuzin authored
-
- 09 Nov, 2017 1 commit
-
-
Nikita Zyuzin authored
-
- 09 Oct, 2017 2 commits
-
-
Heiko Becker authored
-
Heiko Becker authored
-
- 01 Oct, 2017 2 commits
-
-
Heiko Becker authored
-
Heiko Becker authored
-
- 09 Jun, 2017 1 commit
-
-
Heiko Becker authored
-
- 02 May, 2017 3 commits
-
-
Heiko Becker authored
Prove IEEE connection in Coq, at least without admits for the moment, assumptions need to be checked
-
Heiko Becker authored
-
Heiko Becker authored
-
- 25 Apr, 2017 2 commits
-
-
Heiko Becker authored
-
Heiko Becker authored
-
