a deep inference tool for finding base linear inference rules
C C++
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src
COPYING
ChangeLog
README

README

Mímir
    The rememberer, the wise one
-
mim crunches basic linear inference rules to find new ones.



DOCUMENTATION
-------------
None is available right now. For usage please refer to the source (main.c in
particular) and command line instructions.