Video/Owen Lynch: The Computer Algebra System of the Future
Jump to navigation
Jump to search
Lynch, Owen (Apr 13, 2023). Owen Lynch: The Computer Algebra System of the Future. local page: Topos Institute.
He talked about GatLab, an extension of CatLab.
Assembly AI generated :Transcript.
References
Related Pages
Organized by: Topos Institute Presented by: Owen Lynch