Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] [gdr.gpl ] New funding opportunity for Ope...


view this post on Zulip Email Gateway (Jul 29 2022 at 05:39):

From: Burkhart Wolff <wolff@lri.fr>
Hi,

koennte der Call nicht auch was fuer uns sein ? Insbesondere ie Punkte a) und d)
klingen doch ganz nach der Vision, die wir immer schon gehabt haben (und deren
Grundlagen Makarius in Isabelle bereits umgesetzt hatte) ,,,

bu


Last updated: Mar 04 2024 at 10:08 UTC