diff options
| author | Boris Verkhovskiy <boris.verk@gmail.com> | 2024-04-03 04:31:13 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-03 04:31:13 -0700 |
| commit | fbf132752b743d0f43c3395da0699bee53da22df (patch) | |
| tree | 56da43c86e1aebd24e3913b405e21d6f2812e9a3 /coq.html.markdown | |
| parent | 247dc6e86c1421fa031e4b61c42c05ca6e09bfb0 (diff) | |
| parent | c166f2acb295627c5ae305a6dd517a27ca8fece6 (diff) | |
Merge branch 'master' into patch-1
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions