From Fedora Project Wiki
- We do this by building, maintaining, and evangelizing a strong ecosystem of educational packages within Fedora and by supporting learners in using t ..."open proofs" (where an implementation, proofs, and required tools are all FLOSS), and to provide feedback to toolmakers so that the tools in Fedora can bec0 members (0 subcategories, 0 files) - 12:50, 28 May 2020
- We do this by building, maintaining, and evangelizing a strong ecosystem of educational packages within Fedora and by supporting learners in using t ..."open proofs" (where an implementation, proofs, and required tools are all FLOSS), and to provide feedback to toolmakers so that the tools in Fedora can bec138 members (10 subcategories, 0 files) - 19:08, 13 March 2024