Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Epigenetics and similar Phenomena


view this post on Zulip 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: Mar 29 2024 at 04:18 UTC