tristanbuckmaster/fluid_lean

View on GitHub ↗

Stars

270

Forks

Watchers

270

Open issues

Contributors

Language

Lean

License

—

Default branch

main

Created Sep 8, 2026Updated Sep 8, 2026

Star growth

Today—

This week—

This month—

Repository activity

Activity history will appear here once this repo has been tracked for a couple of days.

Embed badge

Show this repository's current trending rank in your README.

Markdown for your README

[![Trending on Repoburst](https://www.repoburst.com/api/badge/tristanbuckmaster/fluid_lean)](https://www.repoburst.com/repo/tristanbuckmaster/fluid_lean)

README

No README found for this repository.