Timeline for Appearance of proof relevance in "ordinary mathematics?"
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 26, 2020 at 15:49 | comment | added | Jacques Carette | @DavidRoberts yes: github.com/JacquesCarette/Species look in the haskell/ directory. | |
| Jul 26, 2020 at 9:05 | comment | added | David Roberts♦ | Is that Haskell code you wrote public? Do you have a link? | |
| Jul 25, 2020 at 13:24 | history | answered | Jacques Carette | CC BY-SA 4.0 |