https://github.com/eric-wieser/divf-2022

CUED division F conference presentation
https://github.com/eric-wieser/divf-2022

lean mathlib presentation sympy

Last synced: about 1 year ago
JSON representation

CUED division F conference presentation

• Host: GitHub
• URL: https://github.com/eric-wieser/divf-2022
• Owner: eric-wieser
• Created: 2022-03-10T19:53:54.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2022-03-25T15:11:21.000Z (about 4 years ago)
• Last Synced: 2025-02-01T03:41:38.210Z (over 1 year ago)
• Topics: lean, mathlib, presentation, sympy
• Language: HTML
• Homepage: https://eric-wieser.github.io/divf-2022
• Size: 400 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# divf-2022

CUED division F conference presentation