https://github.com/hrmacbeth/computations_in_lean

A tutorial on doing proofs with a computational flavour in the Lean proof assistant, and particularly on using the tactic polyrith
https://github.com/hrmacbeth/computations_in_lean

lean4

Last synced: 3 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/hrmacbeth/computations_in_lean
• Owner: hrmacbeth
• Created: 2022-07-11T01:36:07.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2024-09-08T05:30:11.000Z (almost 2 years ago)
• Last Synced: 2024-09-08T06:28:10.807Z (almost 2 years ago)
• Topics: lean4
• Language: HTML
• Homepage:
• Size: 2.91 MB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Algebraic computations in Lean

This repository contains the code for the tutorial [Algebraic computations in Lean](https://hrmacbeth.github.io/computations_in_lean/index.html), by Heather Macbeth.

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

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

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.