Repositories

ldct Repositories

214 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
ldct/lean4Lean

Lean 4 programming language and theorem prover

Letzter Commit 19.05.2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lean4-no_mathlibLean

lean4-no_mathlib

Letzter Commit 03.02.2024

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/leancertLean

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

Letzter Commit 07.07.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/LeanCopilotC++

LLMs as Copilots for Theorem Proving in Lean

Letzter Commit 25.12.2024

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/leanprover-community.github.ioCSS

Hosts the website for mathlib and other Lean community infrastructure.

Letzter Commit 13.04.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/LeanTeXLean

Lean 4 library for pretty printing expressions as LaTeX

Letzter Commit 18.05.2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/LeanTeX-mathlibLean

LeanTeX pretty printers for mathlib

Letzter Commit 18.05.2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/learn-plasmaJavaScript

Learn all about Plasma with LearnPlasma!

Letzter Commit 25.07.2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lensPython

Letzter Commit 19.05.2011

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lets-dev-demoJavaScript

Letzter Commit 14.07.2017

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/libgit2-porcelainC

Playground for porcelain commands built on libgit2

Letzter Commit 31.03.2013

 (2 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/libgit2.jsC

libgit2 compiled to js

Letzter Commit 31.05.2013

 (13 Stars) (2 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lightning-rfcPython

Lightning Network Specifications

Letzter Commit 20.03.2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/linear-algebra-done-right-leanLean

Lean Companion to Axler's Linear Algebra Done Right

Letzter Commit 16.05.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/llm-research-sandboxLean

Letzter Commit 27.06.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/llm-sandboxLean

Letzter Commit 17.02.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lnTeX

latex notes

Letzter Commit 27.01.2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/lstmJavaScript

Letzter Commit 27.08.2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/mapJavaScript

Letzter Commit 22.01.2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
ldct/matharenaPython

Evaluation of LLMs on latest math competitions

Letzter Commit 15.05.2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)