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 15 2022 at 02:13 UTC