Strange new universes: Proof assistants and synthetic foundations.
| Autor: | Shulman, Michael1 (AUTHOR) |
|---|---|
| Zdroj: | Bulletin (New Series) of the American Mathematical Society. Apr2024, Vol. 61 Issue 2, p257-270. 14p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|