Log in
Register
linkhut
Bookmarks
from user:
kawcco
tagged with:
proof-systems
Sort by:
recency
popularity
Order:
descending
ascending
18 Jul 25
Coinduction - Wikipedia
https://en.m.wikipedia.org/wiki/Coinduction
by
kawcco
6 months ago
Tags:
math
plt
proof-systems