Name | Last commit | Last update |
---|---|---|
.. | ||
pvs2dk | ||
load.lisp | ||
proof-hooks.lisp | ||
proveit.lisp |
expected files changed because a space has been removed after closing comments (there was two spaces)
Name | Last commit | Last update |
---|---|---|
.. | ||
pvs2dk | ||
load.lisp | ||
proof-hooks.lisp | ||
proveit.lisp |