leanprover-community/liquid leanprover-community/liquid

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    TeX
  • Created almost 4 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
leanprover-community/liquid
github

leanprover-community

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Website and documentation for the Liquid Tensor Experiment

More Repositories

1

mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4
Lean
1,666
star
2

mathlib4

The math library of Lean 4
Lean
1,503
star
3

lean

Lean 3 Theorem Prover (community fork)
C++
434
star
4

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.
HTML
260
star
5

batteries

The "batteries included" extended library for the Lean programming language and theorem prover
Lean
244
star
6

lean4-metaprogramming-book

Lean
211
star
7

tutorials

Some Lean tutorials
Lean
181
star
8

aesop

White-box automation for Lean 4
Lean
180
star
9

lean-liquid

💧 Liquid Tensor Experiment
Lean
176
star
10

lean4game

Server to host lean games.
TypeScript
167
star
11

lean-perfectoid-spaces

Perfectoid spaces in the Lean formal theorem prover.
Lean
115
star
12

ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets
Lean
102
star
13

NNG4

Natural Number Game
Lean
99
star
14

quote4

Intuitive, type-safe expression quotations for Lean 4.
Lean
73
star
15

con-nf

A formal consistency proof of Quine's set theory New Foundations
Lean
66
star
16

lean-auto

Experiments in automation for Lean
Lean
66
star
17

lftcm2020

Lean for the Curious Mathematician 2020
Lean
63
star
18

lean4web

The Lean 4 web editor
TypeScript
62
star
19

format_lean

A Lean file formatter
Python
62
star
20

iris-lean

Lean 4 port of Iris, a higher-order concurrent separation logic framework
Lean
62
star
21

lean4-mode

Emacs major mode for Lean 4
Emacs Lisp
60
star
22

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.
CSS
52
star
23

flt-regular

Fermat's Last Theorem for regular primes
Lean
51
star
24

lean-client-python

Python talking to the Lean theorem prover
Python
41
star
25

mathport

Mathport is a tool for porting Lean3 projects to Lean4
Lean
39
star
26

sphere-eversion

Formalization of the existence of sphere eversions
Lean
36
star
27

mathlib-tools

Development tools for https://github.com/leanprover-community/mathlib
Python
33
star
28

mathzoo

Lean mathzoo
Lean
23
star
29

repl

A simple REPL for Lean 4, returning information about errors and sorries.
Lean
22
star
30

doc-gen

Generate HTML documentation for mathlib and Lean
Python
21
star
31

leancrawler

An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
Python
17
star
32

llm

Interfacing with Large Language Models (remote and local) from Lean.
Lean
13
star
33

mathlib3port

Synport output from mathport for mathlib3
Lean
11
star
34

lean-sensitivity

A formalization of Huang's degree theorem
Lean
8
star
35

duper

Lean
7
star
36

mathlib4_docs

7
star
37

highlightjs-lean

A highlight.js language grammar for the Lean theorem proving language.
JavaScript
7
star
38

import-graph

Tool to analyse the import structure of lean projects.
Lean
7
star
39

blog

Source for the community blog
Python
6
star
40

mathlib_docs

Hosts the HTML documentation for mathlib.
6
star
41

lt2021

Website for Lean Together 2021
JavaScript
5
star
42

plausible

Lean
5
star
43

lean-mode-contrib

Emacs Lisp
4
star
44

mathlib-nursery

Lean
3
star
45

yasnippet-lean

YASnippet
3
star
46

mathlib-port-status

Tools for managing the status of the port
Jinja
3
star
47

archive-old

HTML
3
star
48

LeanSearchClient

Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
Lean
3
star
49

logic_and_proof

TeX
3
star
50

archive

Replacement for the archive repo
HTML
2
star
51

mathlib_docs_demo

2
star
52

tutorials4

Lean 4 tutorial files
Lean
2
star
53

lean3port

Stub for downloading mathport artifacts for Lean 3
Lean
1
star
54

test-mathport

Dockerfile
1
star
55

mathlib_stats

Display gitstats output on the mathlib website
Python
1
star
56

witt-vectors

1
star
57

azure-scripts

scripts and cron jobs for Azure
Python
1
star
58

mathlib-nightly

stores nightly releases of mathlib
1
star