HEAD | 1928649 | update readme | 17 April 2021, 16:55:04 UTC |
refs/heads/ITP2021 | 30e48cd | update Isabelle2020 URL in Dockerfile | 10 April 2021, 21:06:59 UTC |
refs/heads/Isabelle2019 | 2385797 | Update README.md | 16 April 2020, 13:41:10 UTC |
refs/heads/historic | b01b8ee | More progress. I think we are reaching the limit of what can be conveniently proved with the current implementation. | 27 March 2019, 13:41:16 UTC |
refs/heads/master | 1928649 | update readme | 17 April 2021, 16:55:04 UTC |
refs/tags/v1.0.0-alpha | f0999d0 | Final commit before first release | 12 September 2018, 07:10:08 UTC |
refs/tags/v1.0.0-beta | c93932c | Load Univalence by default | 18 September 2018, 09:46:04 UTC |