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: Oct 12 2024 at 20:18 UTC