Stream: New Members & Projects

Topic: announcement: isabelle-query

view this post on Zulip András Salamon (Aug 21 2026 at 23:20):

To install: pip install isabelle-query

Last updated: Aug 26 2026 at 08:45 UTC