Explore projects
-
Yalep / Yalep
GNU General Public License v3.0 or laterYalep is a micro language based on Lean for teaching mathematical high-school proofs
Updated -
-
Mathdoc / ptfs / ptf-site-traduction
GNU Affero General Public License v3.0Updated -
OSUG / RESIF / fdsn_plugs
GNU General Public License v3.0 or laterUpdated -
moodle-plugins / moodle-qbehaviour_certaintywithstudentfbdeferred
GNU General Public License v3.0 onlyUpdated -
Updated
-
Updated
-
Updated
-
Updated
-
Babylab LPNC / Felyx
GNU General Public License v3.0 or laterUpdated -
UpdatedUpdated
-
-
Updated
