amaletzk

followers

0

following

0

stars

Organizations

risc-mi

amaletzk's repositories

Isabelle-Groebner

Isabelle/HOL formalization of advanced concepts of Groebner bases theory

Language:IsabelleGPL-3.0100