https://github.com/siddhartha-gadgil/proofs-and-programs-2023

Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
https://github.com/siddhartha-gadgil/proofs-and-programs-2023

Last synced: about 1 month ago
JSON representation

Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science

• Host: GitHub
• URL: https://github.com/siddhartha-gadgil/proofs-and-programs-2023
• Owner: siddhartha-gadgil
• License: mit
• Created: 2022-11-25T06:16:57.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-05-12T03:30:42.000Z (8 months ago)
• Last Synced: 2024-08-10T14:11:58.455Z (5 months ago)
• Language: Lean
• Homepage: http://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/index.html
• Size: 1.4 MB
• Stars: 7
• Watchers: 3
• Forks: 4
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Proofs and Programs 2023

Source code for the web page of the course [Proofs and Programs](https://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/index.html) at the Indian Institute of Science, January 2023, built using the static site generator [Hugo](https://gohugo.io/).