Stream: quantum computing

Topic: Session?

view this post on Zulip Josh Chen (Jul 29 2019 at 13:04):

Quick question: what session is best to load this library in? I'm using HOL-Algebra at the moment.

view this post on Zulip Anthony Bordg (Jul 29 2019 at 13:27):

Quick question: what session is best to load this library in? I'm using HOL-Algebra at the moment.

I would say HOL-Analysis.

Last updated: Jan 24 2026 at 12:46 UTC