issues
search
FMFI-UK-1-AIN-412
/
proof-assistant
Proof assistant
MIT License
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Modular theories
#4
crnkjck
opened
6 years ago
0
Switching (sets of) rules on and off
#3
crnkjck
opened
6 years ago
1
More uniform treatment of assumptions and goals
#2
crnkjck
opened
6 years ago
0
Fix imports and source directory settings
#1
crnkjck
closed
6 years ago
2