- 27 Jan, 2023 1 commit
-
-
Robbert Krebbers authored
-
- 08 Jan, 2023 1 commit
-
-
Ralf Jung authored
-
- 08 Dec, 2022 1 commit
-
- 07 Dec, 2022 1 commit
-
-
Robbert Krebbers authored
-
- 06 Dec, 2022 6 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
lemmas using `=` instead of `<->`.
-
- 05 Dec, 2022 4 commits
-
-
Ralf Jung authored
See discussion in https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/iris.20failing
-
Ralf Jung authored
-
Robbert Krebbers authored
- 04 Dec, 2022 5 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 30 Nov, 2022 3 commits
- 29 Nov, 2022 4 commits
- 27 Nov, 2022 1 commit
-
-
Robbert Krebbers authored
Add Fractional and AsFractional instance for embed See merge request !868
-
- 26 Nov, 2022 1 commit
-
-
Simon Friis Vindum authored
-
- 24 Nov, 2022 10 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Remove tactic `iSolveTC` in favor of `tc_solve` in std++. See merge request !870
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
- 23 Nov, 2022 2 commits
-
-
Ralf Jung authored
-