Activity
-
-
-
d716e0c1 · rename adequacy lemmas about wptp and make them local
-
-
-
90a883b2 · more comments
-
-
-
8316e46d · Merge branch 'master' into adequacy_comments
- ... and 18 more commits. Compare ad60d54f...8316e46d
-
-
-
a34184ae · remove some spurious spaces
- ... and 17 more commits. Compare e52255ba...a34184ae
-
-
-
ad60d54f · adopt suggestions
-
-
-
d8985c81 · tweak comment as there is no second instance currently
-
-
-
8e80274e · Merge branch 'master' into adequacy_comments
- ... and 83 more commits. Compare 3a1b78c9...8e80274e
-
-
-
e52255ba · bump CI to Coq 8.16.1
- ... and 2327 more commits. Compare 6e79f000...e52255ba
-
-
