GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • FormalMathematicsLab
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles

This view

  • Original page
  • New address

GeezerVison is showing github.com — Formal Mathematics Lab

Pinned Loading

  1. UniRome_Workshop_Lean_2024 UniRome_Workshop_Lean_2024 Public

    Forked from fpvandoorn/LeanInRome

    Repository hosting resources for the 2024 workshop "Computer-Verified Proofs: 48 Hours in Rome" organised by @oliver-butterley, @RafaelGreenblatt and @marcolenci.

    Lean

  2. UniBonn_Course_Lean4_2023-2024 UniBonn_Course_Lean4_2023-2024 Public

    Forked from fpvandoorn/LeanCourse23

    Repository hosting resources for the 2023/2024 course in Lean at the University of Bonn taught by Floris Van Doorn (@fpvandoorn).

    Lean

  3. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4.

    Lean

  4. ICL_Course_FormalMathematics_2024 ICL_Course_FormalMathematics_2024 Public

    Forked from ImperialCollegeLondon/formalising-mathematics-2024

    Repository hosting resources for the 2024 course in Formal Mathematics at @ImperialCollegeLondon taught by Kevin Buzzard (@kbuzzard).

    Lean

Repositories

Loading
Type
Language
Sort
Showing 10 of 32 repositories
  • equational_theories Public Forked from teorth/equational_theories

    A project to map out the relations between different equational theories of Magmas.

    Uh oh!

    There was an error while loading. Please reload this page.

     FormalMathematicsLab/equational_theories's past year of commit activity
    Lean 0 Apache-2.0 113 0 0 Updated Oct 7, 2024
  • type_checking_in_lean4 Public Forked from ammkrn/type_checking_in_lean4

    Type Checking in Lean 4

    Uh oh!

    There was an error while loading. Please reload this page.

     FormalMathematicsLab/type_checking_in_lean4's past year of commit activity
    JavaScript 0 Apache-2.0 12 0 0 Updated Sep 1, 2024
  • ICL_Course_FormalMathematics_2024 Public Forked from ImperialCollegeLondon/formalising-mathematics-2024

    Repository hosting resources for the 2024 course in Formal Mathematics at @ImperialCollegeLondon taught by Kevin Buzzard (@kbuzzard).

    Uh oh!

    There was an error while loading. Please reload this page.

     FormalMathematicsLab/ICL_Course_FormalMathematics_2024's past year of commit activity
    Lean 0 Apache-2.0 59 0 0 Updated Aug 22, 2024
  • DL4TP Public Forked from zhaoyu-li/DL4TP

    A Survey on Deep Learning for Theorem Proving

    Uh oh!

    There was an error while loading. Please reload this page.

     FormalMathematicsLab/DL4TP's past year of commit activity
    2 MIT 16 0 0 Updated May 15, 2024
  • UniBonn_Course_Lean4_2023-2024 Public Forked from fpvandoorn/LeanCourse23

    Repository hosting resources for the 2023/2024 course in Lean at the University of Bonn taught by Floris Van Doorn (@fpvandoorn).

    Uh oh!

    There was an error while loading. Please reload this page.

     FormalMathematicsLab/UniBonn_Course_Lean4_2023-2024's past year of commit activity
    Lean 0 Apache-2.0 21 0 0 Updated May 11, 2024
  • odyssey-math Public Forked from protagolabs/odyssey-math

    Uh oh!

    There was an error while loading. Please reload this page.

     FormalMathematicsLab/odyssey-math's past year of commit activity
    Python 1 MIT 13 0 0 Updated Apr 30, 2024
  • human-style-atp Public Forked from wtgowers/human-style-atp

    Uh oh!

    There was an error while loading. Please reload this page.

     FormalMathematicsLab/human-style-atp's past year of commit activity
    CSS 0 MIT 2 0 0 Updated Apr 29, 2024
  • blog Public Forked from leanprover-community/blog

    Source for the community blog

    Uh oh!

    There was an error while loading. Please reload this page.

     FormalMathematicsLab/blog's past year of commit activity
    Python 0 33 0 0 Updated Apr 28, 2024
  • ntptutorial-II Public Forked from cmu-l3/ntptutorial-II

    Neural theorem proving tutorial, version II

    Uh oh!

    There was an error while loading. Please reload this page.

     FormalMathematicsLab/ntptutorial-II's past year of commit activity
    Jupyter Notebook 0 MIT 5 0 0 Updated Apr 19, 2024
  • llmlean Public Forked from cmu-l3/llmlean

    LLMs + Lean, on your laptop or in the cloud

    Uh oh!

    There was an error while loading. Please reload this page.

     FormalMathematicsLab/llmlean's past year of commit activity
    Lean 2 MIT 33 0 0 Updated Apr 18, 2024
View all repositories

People
@amayorcas @pitmonticone @LorenzoLuccioli @JakKruko

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.