Wassasin/computeralgebra
Exercises for the Radboud University Computer Algebra course, implemented in Magma.
Portfolio website based on Jekyll-Bootstrap.
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.
Premise selection for Coq in OCaml and C++
Inductive Scripting Language
Analysis of Course Accreditation for the OLC