Stream: Coq users

Topic: How to use class?


view this post on Zulip Dubravka Kutlesic (Oct 20 2021 at 19:57):

Hi, suppose I have a Class:
Class DummyClass (a : list R) (b : R)
:={
l : length a = S 0;
k : b = 0;
}.

How can I use this class in other definitions? Thanks!


Last updated: Jan 29 2023 at 03:28 UTC