Projects in Awesome Lists by FR-vdash-bot

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

• Sort

  • Recently synced
  • Stars

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

Verified efficient algorithms in Lean4.

algorithm data-structure lean lean4

Last synced: 29 Nov 2024

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

Lindemann–Weierstrass Theorem

lean

Last synced: 29 Nov 2024