2019-10-20 | wenzelm | option to export standardized proof terms (not scalable); | changeset | files |
2019-10-20 | wenzelm | more kinds, notably for Isabelle/MMT; | changeset | files |
2019-10-19 | haftmann | refined proof of concept for bit operations | changeset | files |
Loading... |