Dépôts

Dépôts de ldct

214 dépôts pris en charge

Afficher les dépôts avec des issues indexées
ldct/lean4Lean

Lean 4 programming language and theorem prover

Dernier commit 19 mai 2025

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lean4-no_mathlibLean

lean4-no_mathlib

Dernier commit 3 févr. 2024

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/leancertLean

Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked

Dernier commit 7 juil. 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/LeanCopilotC++

LLMs as Copilots for Theorem Proving in Lean

Dernier commit 25 déc. 2024

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/leanprover-community.github.ioCSS

Hosts the website for mathlib and other Lean community infrastructure.

Dernier commit 13 avr. 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/LeanTeXLean

Lean 4 library for pretty printing expressions as LaTeX

Dernier commit 18 mai 2025

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/LeanTeX-mathlibLean

LeanTeX pretty printers for mathlib

Dernier commit 18 mai 2025

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/learn-plasmaJavaScript

Learn all about Plasma with LearnPlasma!

Dernier commit 25 juil. 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lensPython

Dernier commit 19 mai 2011

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lets-dev-demoJavaScript

Dernier commit 14 juil. 2017

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/libgit2-porcelainC

Playground for porcelain commands built on libgit2

Dernier commit 31 mars 2013

 (2 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/libgit2.jsC

libgit2 compiled to js

Dernier commit 31 mai 2013

 (13 stars) (2 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lightning-rfcPython

Lightning Network Specifications

Dernier commit 20 mars 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/linear-algebra-done-right-leanLean

Lean Companion to Axler's Linear Algebra Done Right

Dernier commit 16 mai 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/llm-research-sandboxLean

Dernier commit 27 juin 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/llm-sandboxLean

Dernier commit 17 févr. 2026

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lnTeX

latex notes

Dernier commit 27 janv. 2025

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/lstmJavaScript

Dernier commit 27 août 2018

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/mapJavaScript

Dernier commit 22 janv. 2016

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
ldct/matharenaPython

Evaluation of LLMs on latest math competitions

Dernier commit 15 mai 2025

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)