Select Git revision
Search by author
- Any Author
- authors
-
Derek Dreyer dreyer
-
Hai Dang haidang
-
Jacques-Henri Jourdan jjourdan
-
Janno
janno
-
Joseph Tassarotti jtassaro
-
Lars Birkedal birkedal
-
Lennard Gäher lgaeher
-
Michael Sammler msammler
-
Ralf Jung
jung
-
Robbert Krebbers robbertkrebbers
-
Rodolphe Lepigre lepigre
-
Simon Spies simonspies
-
iris-dev iris-dev
- Jan 18, 2025
-
-
Simon Spies authored
-
Simon Spies authored
-
- Dec 16, 2024
-
-
Simon Spies authored
-
- Nov 27, 2024
-
-
Simon Spies authored
-
- Nov 21, 2024
-
-
Simon Spies authored
-
- Nov 19, 2024
-
-
Simon Spies authored
-
- Nov 18, 2024
-
-
Simon Spies authored
-
Simon Spies authored
-
Simon Spies authored
-
Simon Spies authored
-
- Nov 05, 2024
-
-
Simon Spies authored
-
- Nov 04, 2024
-
-
Simon Spies authored
-
Simon Spies authored
-
- Oct 28, 2024
-
-
Simon Spies authored
-
Simon Spies authored
Bump Coq Version to run on Apple Arm Processors See merge request !1
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Lennard Gäher authored
-
Simon Spies authored
-
- Apr 14, 2021
-
-
Lennard Gäher authored
-
- Dec 08, 2020
-
-
Simon Spies authored
-
- Nov 28, 2020
-
-
Lennard Gäher authored
-
- Nov 24, 2020
-
-
Ralf Jung authored -
Lennard Gäher authored
-
Lennard Gäher authored
-
- Jul 22, 2019
-
-
Ralf Jung authored
-
- Jul 14, 2019
-
-
Robbert Krebbers authored
Add `big_sepL2_app_inv_2`. See merge request iris!292
-
And shorten the proof.
-
Robbert Krebbers authored
Add `head_prim_fill_reducible`. See merge request iris!293
-
A more general implication from `head_reducible` to `reducible`.
-
- Jul 13, 2019
-
-
Robbert Krebbers authored
Mark projections for sigTO as NonExpansive and Proper See merge request iris/iris!285
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
show that pair construction commutes with taking the core See merge request iris/iris!286
-
