diff options
| author | Landon D. C. Elkind | 2021-03-31 12:03:40 -0600 |
|---|---|---|
| committer | GitHub | 2021-03-31 12:03:40 -0600 |
| commit | 02434d2cc130a3d285315d6cca57b0c079c1e880 (patch) | |
| tree | 1ed227ead81e17b83d0b5c9651e277afd8763455 /_site/LICENSE | |
| parent | f602bc5f128947ce105f580b9f7348deed1e4e0d (diff) | |
Proved PM axioms using Coq's classical libraries
Diffstat (limited to '_site/LICENSE')
0 files changed, 0 insertions, 0 deletions