Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by FR-vdash-bot

A curated list of projects in awesome lists by FR-vdash-bot .

https://github.com/FR-vdash-bot/Algorithm

Verified efficient algorithms in Lean4.

algorithm data-structure lean lean4

Last synced: 09 Aug 2024

https://github.com/FR-vdash-bot/transcendental

Lindemann–Weierstrass Theorem

lean

Last synced: 09 Aug 2024