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

Notifications

Mark all as read See all your notifications »

Posts by user205‭

5 posts

Score Age

66%

+2 −0

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

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

Question type-theory logic

66%

+2 −0

Q&A On Tarski-style universes in type theory

1 answer · posted 2y ago by user205‭ · last activity 2y 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 2y ago by user205‭ · edited 2y 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 2y ago by user205‭ · last activity 1y ago by Dan Doel‭

Question type-theory logic

60%

+1 −0

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

1 answer · posted 7mo ago by user205‭ · last activity 7mo ago by Derek Elkins‭

Question type-theory