issues
search
abella-prover
/
abella-prover.org
The web-site for Abella
http://abella-prover.org
2
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix broken links & update BibTeX entries
#14
cjohnson19
closed
4 months ago
1
Outdated front page description (second-order hereditary Harrop)
#13
wikku
closed
10 months ago
0
Feature request: permitting more than one proof per theorem
#12
ThatDaleMiller
closed
3 years ago
1
Hierachy organization for Documentation section
#11
amerikan
closed
2 years ago
1
Adding well-founded example to index page
#10
amerikan
closed
5 years ago
1
Suggested path example is not correct
#9
amerikan
closed
5 years ago
1
Added installation suggestions for macOS users
#8
amerikan
closed
5 years ago
1
Updating files for ll-meta and adding two-sided MALL
#7
gisellemnr
closed
5 years ago
0
Updated html file
#6
gisellemnr
closed
5 years ago
0
Fixes to ll-meta
#5
gisellemnr
closed
5 years ago
0
Redesign Abella home page
#4
amerikan
closed
1 year ago
6
Broken url
#3
ThatDaleMiller
opened
7 years ago
2
Change to Markdown
#2
chaudhuri
opened
8 years ago
7
Updating section on emacs support
#1
gisellemnr
closed
8 years ago
0