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 bec139 members (10 subcategories, 0 files) - 16:49, 31 May 2024