Login / Signup

Linear Programming in Isabelle/HOL.

Julian Parsert
Published in: CoRR (2024)
Keyphrases