https://github.com/matijapretnar/twelf-eff
History
Tip revision: f38f77849aeade6d83991c02cd300e9a7582de95 authored by Matija Pretnar on 19 September 2018, 06:25:10 UTC
Merge branch 'jfp-2018'
Tip revision: f38f778

README.md

back to top