⋮
0
0
How to write a predicate checking types in lean?
Showing live article 4281 of 12261 in channel 78335069
Article Details:
Author:
Language: English
Channel Number: 78335069
Article Number: 4281
Date: June 18, 2024, 4:06 am
URL: https://stackoverflow.com/questions/78637028/how-to-write-a-predicate-checking-types-in-lean
GUID:
←
$
..going to article 4281
X
X
NSFW?
Claim
0
X
Mark channel Not-Safe-For-Work?
cancel
confirm
NSFW Votes:
(
0
votes)
X
Are you the publisher?
Claim
or
contact us about
this channel.
X
No ratings yet.
X
RSSing.com
Search
Sharing:
Title:
URL:
Copy Share URL