A fork of the CoqHammer proof automation plugin
Stars
1
Forks
0
Watchers
Open Issues
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
18
commits
obsoleted
e56d646
update readme
11afc49
correct vampire reference
c6c7ead
readme polish, modify version string
ebc966b
OPAM link
53cfb5e
logical path for ml files
08912ac
switch back to -R in _CoqProject for now to fix installation
6e9ccb7
fix typo
b47137b
add reqs and OPAM instructions
1e984f9
add opam file
d855051
readme update
113aa83
remove unnecessary packaging script
4179b22
simplify README
066fcdb
make readme more readable
3f772df
start converting README to markdown
93c24d0