MA4N1_Theorem_proving_with_Lean

KO | EN

gitlite — search

#hacktoberfest #ai #typescript #go #rust #linux #docker #macos #java #kubernetes #awesome-list #security #openai #open-source

MA4N1_Theorem_proving_with_Lean

(★ 18)

MA4N1 Theorem Proving with Lean

MA4N1_Theorem_proving_with_Lean 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# [MA4N1 Theorem Proving with Lean](https://adomani.github.io/Syllabus/MA4N1/toc)

This is the repository for the module [MA4N1 Theorem Proving with Lean](https://adomani.github.io/Syllabus/MA4N1/toc) at the University of Warwick.

Here, you will find the Lean files used during lectures, some exercises and various complements.

This is a Lean project with `Mathlib` as a dependency.
You may want to set-up something like this for your group project.
You can find instructions on how to do this at [this webpage](https://adomani.github.io/Syllabus/MA4N1/instructions_for_new_project).
For systems other than Unix, take a look at the [Mathlib projects webpage](https://leanprover-community.github.io/install/project.html#creating-a-lean-project).

---

[Back to the `Theorem Proving with Lean` webpage](https://adomani.github.io/Syllabus/MA4N1/toc)

[Back to Moodle](https://moodle.warwick.ac.uk/course/view.php?id=71736#section-0)

[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/adomani/MA4N1_Theorem_proving_with_Lean)

MA4N1_Theorem_proving_with_Lean

MA4N1_Theorem_proving_with_Lean 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

MA4N1_Theorem_proving_with_Lean

MA4N1_Theorem_proving_with_Lean 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README