Name | Last commit | Last update |
---|---|---|
.. | ||
coq @ a9d7038b | ||
isabelle-afp @ 1ce32ec0 | ||
isabelle-distribution @ beb24f82 |
If this destroys your file system I am sorry, but I'd like to experiment w/ keeping everything in one place.
Name | Last commit | Last update |
---|---|---|
.. | ||
coq @ a9d7038b | ||
isabelle-afp @ 1ce32ec0 | ||
isabelle-distribution @ beb24f82 |