Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Epigenetics and similar Phenomena

Email Gateway (Jan 17 2021 at 11:57):

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: Jan 04 2025 at 20:18 UTC