LibHunt
Lean
Topics
Categories
lean4
Lean
Formal Verification
Formal Methods
theorem-proving
cubical-type-theory
hott
proof-assistant
formalization
formal-mathematics
Math
mathlib4
hardware-synthesis
claude
derivatives-pricing
Related
hott
Related
Hol
Related
formal-semantics
homotopy
icml-2019
Related
bluespec
Related
Formal Methods
arbitrary-precision
calculus
prime-numbers
computer-algebra
complex-numbers
bigint
Biginteger
math-library
Bignum
Bignumber
equation
mathematical-expressions
Differentiation
Hmatrix
Related
Obsidian
Context
qwen
codex-cli
agentic-coding
Skill
computer-use
anthropic-claude
context-management
token-optimization
context-window
Grok
antigravity
perplexity
aider
Topics
Trending
Popularity
Index
Add a project
About
All DEVs
Lean DEVs
Lean /DEVs
The reverse job board
Find and hire software developers and professionals with Lean experience.
List your profile to receive offers and be recognized amongst our Lean community.
Add my profile
Our
/DEVs
section is new and there are no registered Lean professionals yet.
Add my profile
Browse all devs
Loading...