Home Projects Resources Alternatives Blog Sign In

Best 2 Formal Mathematics Open Source Projects

Mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

LogicalAtomist Principia

The Principia Rewrite

Top Python Projects

Top Java Projects

Top JS Projects

Top C# Projects

Top C++ Projects

Top PHP Projects

Top Swift Projects

Top Go Projects

Top Ruby Projects

Top Kotlin Projects

Top Objective C Projects

Top Scala Projects

Top Dart Projects

Top Matlab Projects

Top TypeScript Projects

Top Lua Projects

Top Rust Projects

Top Haskell Projects

Top Angular Projects

Top Vue Projects

Top React Projects

Top Laravel Projects

Top Django Projects

Copyright © 2021 Open Source Agenda (OSA). Logo Designed By Puiu Adrian.

Terms of Service | Privacy Policy | Cookie Policy | Advetising | Submit a blog post

Home Projects Resources Alternatives Blog Sign In

Sign In to OSA

I agree with Terms of Service and Privacy Policy

Sign In with Github