issues
search
vafeiadis
/
hahn
Hahn: A Coq library
MIT License
29
stars
15
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Is there a limit of sin_rewrite etc. ?
#36
JonasOberhauser
opened
2 months ago
1
basic_solver adds unexpected evars
#35
JonasOberhauser
opened
2 months ago
0
Make Hahn compile with 8.18
#34
JonasOberhauser
closed
5 months ago
1
Incorrect state index in LTS_complete_trace ?
#33
InnocentusLime
opened
8 months ago
1
Made compatible with Coq 8.18.0
#32
anlun
closed
5 months ago
0
Made Hahn compatible w/ Coq 8.17.0
#31
anlun
closed
1 year ago
1
des_indefinite_description
#30
mdokomath
closed
3 months ago
0
Make hahn compatible again with Coq 8.13 and *.14, and update the opam file
#29
tperami
closed
2 years ago
0
Incompatibilities with 8.15.1 ?
#28
JonasOberhauser
opened
2 years ago
0
Updating Hahn to coq 8.15.0
#27
mdokomath
closed
2 years ago
0
Update to Coq 8.14
#26
demarkok
closed
2 years ago
2
Added lemmas from the 'relive' project
#25
fresheed
opened
4 years ago
0
Some lemmas
#24
pjmkrpg
opened
4 years ago
0
make fails due to the missing seq_app lemma
#23
fresheed
closed
4 years ago
0
Coq 8.11
#22
pjmkrpg
closed
4 years ago
0
fixed #20
#21
anlun
closed
4 years ago
0
New version of des* works incorrectly in presence of section hypotheses w/ conjunction
#20
anlun
closed
4 years ago
0
Lemmas about set_collect, collect_rel, set_map, map_rel
#19
eupp
closed
4 years ago
0
Lemmas about symmetric closure and symmetry of relations
#18
eupp
closed
4 years ago
0
restr_rel lemmas
#17
eupp
closed
4 years ago
0
cross_rel lemmas
#16
eupp
closed
4 years ago
0
On the relationship between (co)dom_rel and doma/domb
#15
eupp
opened
4 years ago
1
Lemmas about (co)domains of relations
#14
eupp
closed
4 years ago
0
des* tactics: destruct H -> generalize H; clear H; intros []
#13
anlun
closed
4 years ago
1
des* doesn't terminate terminate if it deconstructs a section variable
#12
anlun
closed
4 years ago
8
Some lemmas
#11
anlun
closed
5 years ago
0
Extra lemmas on paths and cycles
#10
anlun
closed
5 years ago
0
HahnAdjacent introduced
#9
anlun
closed
5 years ago
0
Extended HahnDom.v w/ some lemmas
#8
anlun
closed
5 years ago
0
OPAM support
#7
anlun
closed
6 years ago
0
Typo
#6
anlun
closed
6 years ago
0
set_interC. Redundant parameter.
#5
anlun
closed
6 years ago
0
Useless parameter in set_unionC
#4
anlun
closed
7 years ago
0
General patch
#3
omelkonian
closed
7 years ago
0
Migration to Coq 8.6?
#2
jeehoonkang
closed
7 years ago
1
Add vio files in gitignore
#1
jeehoonkang
closed
8 years ago
0