This repository contains my code written for the project. It contains my solutions to the exercises in the book Mathematics in Lean (i.e. proofs and examples left incomplete using the keyword sorry)
Useful links:
-
Notifications
You must be signed in to change notification settings - Fork 0
sumantchopdata/intro_to_automated_proof_checking
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A semester project for an introduction to interactive theorem proving using LEAN4 language and Mathlib library
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published