Area 51 » k4rtik

info activity reputation

reputation

9 views

discussion user

network profile

Registered User

name	k4rtik
member for	3 years
seen	Jan 28 '22 at 20:06
website	ks.cs.uchicago.edu
location	Chicago

stats accounts

0

Proposals

0

Current Commitments

0

Fulfilled Commitments

0

Followed

1

Example Question

Proof Assistants: Are there proof assistants that come with a well-maintained formal specification and mechanized metatheory of their own type theory?

6

Votes Cast

5 up

1 down

5

Badges

● Lobbyist
● Nice Question

● Centrist
● Pioneer

user feed