interactive-theorem-proving topic

List interactive-theorem-proving repositories

CvxLean

27
Stars
3
Forks
Watchers

Convex optimization modeling in Lean 4

verified publisher icon verified-optimization

LeanGPT

15
Stars
2
Forks
Watchers

Experiments with interactive theorem provers, LLMs and formal systems

verified publisher icon RiccardoBiosas