https://github.com/leanprover/presentations

lean-related presentations
https://github.com/leanprover/presentations

Last synced: 7 months ago
JSON representation

lean-related presentations

• Host: GitHub
• URL: https://github.com/leanprover/presentations
• Owner: leanprover
• License: apache-2.0
• Created: 2015-01-23T19:51:23.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2024-01-25T10:33:46.000Z (over 2 years ago)
• Last Synced: 2024-12-25T17:12:00.595Z (over 1 year ago)
• Language: TeX
• Size: 28.1 MB
• Stars: 16
• Watchers: 8
• Forks: 9
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
This repository was once used to host presentations about Lean. It remains to keep links alive and for historical interest.

The gh-pages branch contains rendered versions of the presentations, hosted online. It has been manually updated, rather than automatically in CI.

At the time of archival (2024-01-25), we are hosting the site on Netlify. The deployment GitHub Action can be invoked manually if this site ever needs updating.

Here are the former contents of the README:

-------

 - 2015/01/23: [lean-mode: emacs mode for Lean Theorem Prover][lean-mode]

[lean-mode]: http://leanprover.github.io/presentations/20150123_lean-mode/lean-mode.pdf