From: "Jens-D. Doll" <jens.doll@live.de>
Would it be possible to specify lemmas and proofs in Isabelle, which are
based on vectorial truth values, i.e. have several dimensions with
weighted significance?
Jens
http://formatika.de
Last updated: Mar 29 2024 at 04:18 UTC