Ancestors

Toot

Written by Jesper Agdakx 🔸 on 2024-11-04 at 20:56

Lean FRO roadmap lean-fro.org/about/roadmap/ 👀

That's one hell of an ambitious list of goals.

=> More informations about this toot | More toots from jesper@agda.club

Descendants

Written by Jacques Carette on 2024-11-04 at 23:24

@jesper The amazing things that a well-organized community can do.

I'm jealous of their roughly 100:1 ratio of mathlib contributors to core system contributors. Well maybe not of their 1125 currently open PRs on mathlib...

=> More informations about this toot | More toots from JacquesC2@types.pl

Written by NoCanDo on 2024-11-05 at 10:54

@JacquesC2 @jesper a well organised community indeed, and one not bound by the constant academic need to publish, so that they can focus on the "boring" bits that actually make a tool usable and useful.

=> More informations about this toot | More toots from escape_velocity@functional.cafe