Communities

The Great Outdoors

Photography & Video

Scientific Speculation

Electrical Engineering

Languages & Linguistics

Software Development

Community Proposals

tag:snake search within a tag

answers:0 unanswered questions

user:xxxx search by author id

score:0.5 posts with 0.5+ score

"snake oil" exact phrase

votes:4 posts with 4+ votes

created:<1w created < 1 week ago

post_type:xxxx type of post

Search help

Notifications

Mark all as read See all your notifications »

Q&A Meta

Profile Activity Votes Network

user205‭

A quiet enigma. We don't know anything about user205‭ yet.

Posts

66%

+2 −0

Q&A The purpose of logical frameworks in specifying type theories

1 answer · posted 3y ago by user205‭ · last activity 3y ago by Derek Elkins‭

Question type-theory logic

66%

+2 −0

Q&A On Tarski-style universes in type theory

1 answer · posted 3y ago by user205‭ · last activity 3y ago by Derek Elkins‭

Question type-theory logic

60%

+1 −0

Q&A Defining the two universes from Calculus of Constructions in LF

0 answers · posted 3y ago by user205‭ · edited 3y ago by user205‭

Question type-theory logic

60%

+1 −0

Q&A Considering the "type" $\Pi x:A.\Pi y:B(x).Type$

1 answer · posted 3y ago by user205‭ · last activity 3y ago by Dan Doel‭

Question type-theory logic

60%

+1 −0

Q&A Interpreting $\text{Prop}$ in Set

1 answer · posted 2y ago by user205‭ · last activity 2y ago by Derek Elkins‭

Question type-theory

Reputation		36
Top-level posts		5
Answers		0
Received votes (up minus down)		9
Edits made		13

Earned Abilities

Statistics

Posts
Total		5
Questions		5
Answers		0
Articles		0

Votes cast
Total		3

Flags raised
Total		0