Math O Matic

Computerized proof system on the web
Alternatives To Math O Matic
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Lambda Talk246
4 years agomitJavaScript
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Ctlc23
5 years ago1Agda
(λ) Category theory and lambda calculus, Bachelor's thesis
Purity Project12
5 years agomitScala
Contains realisations of common-used math functions and classical algorithms, written in Scala's pure-functional style.
Math O Matic6
7 months ago26mitTypeScript
Computerized proof system on the web
Tag_export6
7 years agomit
An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)
Alternatives To Math O Matic
Select To Compare


Alternative Project Comparisons
Popular Mathematics Projects
Popular Lambda Calculus Projects
Popular Mathematics Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Typescript
Mathematics
Lambda Calculus
Proof Assistant
Theorem Proving