flt-regular reviews and mentions
Posts with mentions or reviews of flt-regular.
We have used some of these posts to build our list of alternatives
and similar projects.
We haven't tracked posts mentioning flt-regular yet.
Tracking mentions began in Dec 2020.
Stats
Basic flt-regular repo stats
1
45
9.5
10 days ago
leanprover-community/flt-regular is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of flt-regular is Lean.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com