Projects

Tracked 7088 indie products across GitHub, Hacker News, Product Hunt & YouTube. Sorted by GitHub stars — open a non-GitHub project for its cross-platform detail.

1 of 1

Filtered by tag#interactive-theorem-proving

		Category	Source		Forks
	lean4web Lean web editor lean4web is a web-based editor for the Lean theorem prover, designed for develop… #lean #web-editor #interactive-theorem-proving #mathematics	devtool	GH	144	55	0

lean4webGH

Lean web editor

lean4web is a web-based editor for the Lean theorem prover, designed for developers and mathematicians to write, compile, and interact with Lean proofs directly in a browser without local installation…

devtool 144 55

#lean #web-editor #interactive-theorem-proving #mathematics #education

Showing 1–1 of 1