https://github.com/meta-logic/abella-reasoning
Tip revision: 2d3bb345edee31ab3d235bbff171577cb8bfefb1 authored by Giselle Reis on 25 January 2019, 11:44:12 UTC
Updating status
Updating status
Tip revision: 2d3bb34
File | Mode | Size |
---|---|---|
lib | ||
one-sided | ||
talk | ||
two-sided | ||
.gitignore | -rw-r--r-- | 12 bytes |
README.md | -rw-r--r-- | 165 bytes |
status.txt | -rw-r--r-- | 1.9 KB |