I built

Wiki-like edit for Lean 4 project Physlib

Built by @hn:leanexplorer · jstoobysmith.github.io/PhyslibVerso

via Hacker Newsby hn:leanexplorer ↗· community-imported

12 people want it.

Who's asking for this

“Someone is looking for this — identity hidden”

@••••••••••• ·

“Someone is looking for this — identity hidden”

@••••••••• ·

“Someone is looking for this — identity hidden”

@••••••• ·

“Someone is looking for this — identity hidden”

@••••••••••• ·

“Someone is looking for this — identity hidden”

@•••••• ·

Want this too?

IwantIbuild is a demand board for indie builders. Search what you wish existed and find who already shipped it — or post the thing you built and watch the demand for it add up.

Find more tools like this →