patrickmassot Goto Github PK

mantisbt

Mantis Bug Tracker (MantisBT)

math-comp

Mathematical Components

math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

mathjax-node-page

mathjax-node for pages

mathlib

Lean mathematical components library

mathlib-tools

Development tools for https://github.com/leanprover-community/mathlib

mdd154

monaspace

An innovative superfamily of fonts for code

natural_number_game

Building the natural numbers in Lean.

nng4

nng4-interface

pfr

plastex

Python package to convert LaTeX markup to DOM

plastexdepgraph

Dependency graph plugin for plasTeX

plastexshowmore

Show more plugin for plasTeX

private

Dotclear 2 plugin

proofwidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

pyan

pyan is a Python module that performs static analysis of Python code to determine a call dependency graph between functions and methods. This is different from running the code and seeing which functions are called and how often; there are various tools that will generate a call graph in that way, usually using debugger or profiling trace hooks - for example: https://pycallgraph.readthedocs.org/ This code was originally written by Edmund Horner, and then modified by Juha Jeronen. See README for the original blog posts and links to their repositories.

pytest-bdd

BDD library for the py.test runner

slmathtest

stacks-project

Repository for the Stacks Project

staticjinja

Effortlessly deploy static sites.

std4

Standard Library for Lean 4

symmetric_project

theorem_proving_in_lean

Theorem proving in Lean

tikzcdedit

Small javascript frontend to tikz-cd

verbose-lean4

Natural language tactics to teach mathematics using Lean 4

vscode-lean

An extension for VS Code which provides support for the Lean language.

vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

whitney-graustein-formalization