Code Monkey home page Code Monkey logo

lftcm2020's Introduction

Lean for the Curious Mathematician 2020

This repository hosts the Lean demos and exercises from the meeting Lean for the Curious Mathematician, held virtually in July 2020. Recordings of the tutorials at this meeting are available on YouTube.

(The repository also hosts the meeting website, but you can ignore this.)

Layout

In the src folder, you will find a number of subdirectories containing Lean files:

  • for_mathlib contains some background material that you can ignore.
  • demos contains some files that wre used during the category theory and linear algebra tutorials.
  • exercise_sources contains exercises corresponding to each tutorial, organized by day.
  • hints contains some helpful hints for these exercises.
  • solutions contains completed exercises, if you're confused and want to peek.

Getting started

We strongly recommend installing Lean with its supporting tool leanproject. Then you can get this project and open it in VSCode by running:

leanproject get lftcm2020
cp -r lftcm2020/src/exercises_sources/ lftcm2020/src/my_exercises
code lftcm2020

We recommend the second line which copies the exercises to a new directory. Otherwise, if you try to update this project, your exercise solutions could be overwritten or create merge conflicts.

Alternatively, the examples can be executed in browser with the following link:

Gitpod ready-to-code

lftcm2020's People

Contributors

alexjbest avatar avigad avatar barinderbanwait avatar bryangingechen avatar eric-wieser avatar fpvandoorn avatar hrmacbeth avatar jcommelin avatar jipsen avatar kbuzzard avatar leanprover-community-bot avatar martinkrepela avatar mattearnshaw avatar miguelraz avatar patrickmassot avatar pimsp avatar pjbruin avatar robertylewis avatar sanderdahmen avatar saroramath avatar semorrison avatar sgouezel avatar silvainrk avatar tonyyueyu avatar urkud avatar vaibhavkarve avatar vcf1 avatar vierkantor avatar vtec234 avatar wdsmth avatar

Stargazers

avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar

Watchers

avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar

Forkers

cameronfreer anrddh pjbruin barinderbanwait adomani vcf1 johncremona alexjbest dimpase theckl junbolau vierkantor asilata gbrlguzmang smorel394 jhanselman smaillot34 silvainrk ivansimu miguelraz aodesky williamdsimmons tonyscholl mattearnshaw amosturchet awainverse filipmaric dhruva-divate antoinechambert-loir andrewvsutherland madpidgeon martinkrepela borsiemir k3s0wa jbalakrishnan samortmor1 rinaroxana sanderdahmen pimsp vaibhavkarve pvetter dkhoi148 dpochekutov harshitmotwani2015 saroramath fewcount marius-leonhardt nasqret b-mehta nuttytrains jamesa9283 alpaynatanael christophemargerin bmatschke jipsen eric-wieser emiljacobsen dgvirtz vtec234 mukeshtiwari alexanderdolcos farmanb zeta1999 miguelangelvargascruz arademaker stjordanis fundou bradheintz algebravic timotree3 kendrickispop gihanmarasingha samuelcarwynlewis adriandom freed034 archiebrowne seanpm2001

lftcm2020's Issues

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

The error could also be caused by upgrading Lean from leanprover-community/lean:3.33.0 to leanprover-community/lean:3.34.0.

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

The error could also be caused by upgrading Lean from leanprover-community/lean:3.37.0 to leanprover-community/lean:3.38.0.

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Registration

Users could (should?) add their name to a README to demonstrate that they have git up and running.

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Volunteers needed

  • Monday: Tech support (via screensharing)
  • Git demo (it's not scary!)
  • Live proving a theorem
  • Demo overview of part of mathlib

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

pair/triple/quadruple coding sessions

2 or 3 "curious mathematicians" together with a "lean expert".
Screensharing.
Every "curious mathematician" tries to write a bit of lean code. State a definition or theorem that you really like.
Interaction.

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

The error could also be caused by upgrading Lean from leanprover-community/lean:3.32.1 to leanprover-community/lean:3.33.0.

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Automatic upgrade has failed

Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.

If your project currently builds, this is probably because of changes made in its dependencies:

You can see the errors by running:

leanproject up
leanproject build

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.