Skip to content
GitLab
Explore
Sign in
Iris
Iris
Forks
60 forks: 51 public, 1 internal, and 8 private
Created date
Jeehoon Kang /
iris-coq
Some missing unicode arrows.
0
Updated
Oct 12, 2018
0
0
0
0
Updated
Oct 12, 2018
Amin Timany /
iris-coq
Merge branch 'ralf/paradox' into 'master'
0
Updated
Sep 09, 2023
0
0
0
0
Updated
Sep 09, 2023
Dan Frumin /
iris-coq
Move some stuff.
0
Updated
Jul 24, 2023
0
0
0
0
Updated
Jul 24, 2023
Paolo G. Giarrusso /
iris
Merge branch 'jaemin/mono_nat_alloc' into 'master'
0
Updated
Aug 03, 2023
0
0
0
Updated
Aug 03, 2023
Jonas Kastberg /
iris
remove some long-dead files
0
Updated
Jan 18, 2024
0
0
0
0
Updated
Jan 18, 2024
Jan /
iris-coq
NEW: Now with strange typing error.
0
Updated
Jul 30, 2018
0
0
0
0
Updated
Jul 30, 2018
Janno /
iris-coq
fix changelog typos
0
Updated
Mar 21, 2024
0
0
0
0
Updated
Mar 21, 2024
Marianna Rapoport /
iris-coq
backport heap_lang notation fix from gen_proofmode
0
Updated
Dec 03, 2018
0
0
0
0
Updated
Dec 03, 2018
Tej Chajed /
iris
Merge branch 'ralf/coq-8.13' into 'master'
0
Updated
May 28, 2023
0
0
0
0
Updated
May 28, 2023
Hugo Herbelin /
iris-coq
Merge branch 'robbert/ufrac_just_ufrac' into 'master'
0
Updated
Oct 24, 2020
0
0
0
0
Updated
Oct 24, 2020
Michael Sammler /
iris-coq
Merge branch 'list_singletonM_{lt,gt}' into 'master'
0
Updated
Feb 04, 2020
0
0
0
0
Updated
Feb 04, 2020
Maxime Dénès /
iris-coq
Merge branch 'unicode_asterisk_in_docs' into 'master'
0
Updated
Dec 13, 2019
0
0
0
0
Updated
Dec 13, 2019
Hai Dang /
Iris
be more explicit about quantification order
0
Updated
Jun 20, 2019
0
0
0
0
Updated
Jun 20, 2019
Rodolphe Lepigre /
Iris
update dependencies
0
Updated
Jan 22, 2021
0
0
0
0
Updated
Jan 22, 2021
Rice Wine /
Iris
Update example in ProofMode.md
0
Updated
Apr 23, 2019
0
0
0
0
Updated
Apr 23, 2019
Simon Spies /
Iris
remove some spurious spaces
0
Updated
Feb 01, 2023
0
0
0
0
Updated
Feb 01, 2023
George Pirlea /
Iris
explain weird anonymous type field in CmraT
0
Updated
Jul 31, 2019
0
0
0
0
Updated
Jul 31, 2019
Dmitry Khalanskiy /
Iris
More `subst_map` lemmas.
0
Updated
Apr 14, 2020
0
0
0
0
Updated
Apr 14, 2020
Gregory Malecha /
Iris
Merge branch 'seal_big_opM' into 'master'
0
Updated
Apr 04, 2023
0
0
0
0
Updated
Apr 04, 2023
Germán Delbianco /
Iris
Fix typo spot by
@Blaisorblade
.
0
Updated
Jan 21, 2020
0
0
0
0
Updated
Jan 21, 2020
Prev
1
2
3
Next