Skip to content

A tutorial on doing proofs with a computational flavour in the Lean proof assistant, and particularly on using the tactic polyrith

Notifications You must be signed in to change notification settings

hrmacbeth/computations_in_lean

Folders and files

NameName
Last commit message
Last commit date

Latest commit

686abc6 · Sep 8, 2024

History

12 Commits
May 28, 2024
May 28, 2024
Sep 8, 2024
Sep 8, 2024
May 28, 2024
May 28, 2024
May 28, 2024
May 28, 2024
Sep 8, 2024
Sep 8, 2024
Sep 8, 2024

Repository files navigation

Algebraic computations in Lean

This repository contains the code for the tutorial Algebraic computations in Lean, by Heather Macbeth.

If you have a GitHub account, you can run the code on the web using Gitpod.

Open in Gitpod

You can also clone the repository to your computer by typing git clone https://github.com/hrmacbeth/computations_in_lean.git at the command line. This will let you run the code on your computer.

About

A tutorial on doing proofs with a computational flavour in the Lean proof assistant, and particularly on using the tactic polyrith

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published