Wassasin/computeralgebra
Exercises for the Radboud University Computer Algebra course, implemented in Magma.
Analysis of Course Accreditation for the OLC
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Exercises for the Radboud University Computer Algebra course, implemented in Magma.
Portfolio website based on Jekyll-Bootstrap.
Premise selection for Coq in OCaml and C++
Inductive Scripting Language