Skip to content
Loading…
Forsy - Designing a Mathlib definition and its API
Designing a Mathlib definition and its API
Software Engineering
Released 6 Oct 2026
Use Skill
Evidence-driven workflow for designing a Mathlib definition and the API around it.
Preview
Loading…
Evaluations
Forsy Agent
Skill Delta
Forsy agent eval in progress…
