Stream: Coq users

Topic: Psatz


view this post on Zulip Philip Zucker (May 19 2020 at 22:05):

I don't super know what I'm doing, but I'm trying to figure out how to do simple things like 2d matrices and finite difference systems over rationals. Does lra not work on Qc?

view this post on Zulip Philip Zucker (May 19 2020 at 22:05):

Is there sort of a recommendation for Qc vs Q?


Last updated: Mar 29 2024 at 06:39 UTC