https://github.com/sintan1729/lean-talk-sp24

These are the files used in a talk
https://github.com/sintan1729/lean-talk-sp24

lean lean4 math mathematics proof-assistant

Last synced: about 2 months ago
JSON representation

These are the files used in a talk

• Host: GitHub
• URL: https://github.com/sintan1729/lean-talk-sp24
• Owner: SinTan1729
• License: gpl-3.0
• Created: 2024-02-06T02:50:55.000Z (11 months ago)
• Default Branch: main
• Last Pushed: 2024-03-11T07:21:03.000Z (10 months ago)
• Last Synced: 2024-03-11T08:35:22.618Z (10 months ago)
• Topics: lean, lean4, math, mathematics, proof-assistant
• Language: Lean
• Homepage:
• Size: 36.1 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Lean Talk SP24

These are the files used in my talk titled "A (very) Brief Introduction to lean 4".

[References](./references.md)