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: Aug 20 2025 at 20:23 UTC