https://github.com/rolyp/proof-relevant-pi
Branch name | Release name | Target | Message | Date |
---|---|---|---|---|
refs/tags/0.3 | 0.3 | cb9d850 | 05 October 2016, 21:20:21 UTC | |
refs/tags/0.2 | 0.2 | 71fd55b | 03 January 2016, 22:05:04 UTC | |
refs/tags/0.1 | 0.1 | 7667f0a | 04 July 2015, 17:58:57 UTC |