• All Packages
  • Criteria
    • All Packages
    • Criteria
  • Readme
  • Versions (1)
  • Dependencies (11)

siddhartha-gadgilpnP2023

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

METADATA

  • MIT
  • 3 months ago
    Last updated on April 18, 2025 at 11:06:18AM
  • 9 stars

LEAN

  • Commit 92fd2d8 (latest) builds on the old leanprover/lean4:v4.8.0 after lake update
    v4.8.0
  • Commit 92fd2d8 (latest) builds on the old leanprover/lean4:v4.8.0-rc2 after lake update
    v4.8.0-rc2
  • Commit 92fd2d8 (latest) builds on the old leanprover/lean4:v4.8.0-rc1 after lake update
    v4.8.0-rc1
  • Commit 92fd2d8 (latest) builds on its old leanprover/lean4:v4.7.0
    v4.7.0
  • Commit 2d33121 builds on the old leanprover/lean4:v4.5.0 after lake update
    v4.5.0
  • Commit 2d33121 builds on the old leanprover/lean4:v4.5.0-rc1 after lake update
    v4.5.0-rc1
  • Commit 2d33121 builds on the old leanprover/lean4:v4.4.0 after lake update
    v4.4.0
  • Commit 2d33121 builds on the old leanprover/lean4:v4.4.0-rc1 after lake update
    v4.4.0-rc1
  • Commit 2d33121 builds on the old leanprover/lean4:v4.0.0
    v4.0.0
  • 46 more

HOMEPAGE

math.iisc.ac.in/~gadgil/proofs-and-programs-2023/index.html

REPOSITORY

siddhartha-gadgil/proofs-and-programs-2023

Proofs and Programs 2023

Source code for the web page of the course Proofs and Programs at the Indian Institute of Science, January 2023, built using the static site generator Hugo.

Get Started

  • Install
  • Learn
  • Community
  • Reservoir

Documentation

  • Language reference
  • Lean API
  • Use cases
  • Cite Lean

Resources

  • Lean playground
  • VS Code extension
  • Loogle
  • Mathlib

FRO

  • Mission
  • Team
  • Roadmap
  • Contact

Policies

  • Privacy Policy
  • Terms of Use
© 2025 Lean FRO. All rights reserved.