Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] libisabelle: Status update and call for proposals


view this post on Zulip Email Gateway (Aug 22 2022 at 12:02):

From: Lars Hupel <hupel@in.tum.de>
Dear list,

on Sunday, I released a new version of libisabelle. Since the initial
announcement in February, a lot of things happened, mainly driven by my
stay at EPFL over summer. In fact, the Isabelle/Leon integration is
powered by libisabelle.

Major features are:

All of this is regularly and automatically tested on Windows, OS X and
Linux.

Plans for the near future, in decreasing order of importance (and
coincidentally, also in decreasing order of immediate utility to regular
Isabelle users):

I'm also soliciting feedback with this mail. If there's anything you'd
like to see implemented or if you have any use cases, please do tell!

Cheers
Lars


Last updated: Mar 28 2024 at 16:17 UTC