Communities

Writing

Codidact Meta

The Great Outdoors

Photography & Video

Scientific Speculation

Cooking

Electrical Engineering

Judaism

Languages & Linguistics

$Mathematics$

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 Vote Summary All Communities

Dan Doel‭

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

Posts

See all 2 »

66%

+2 −0

Q&A What is a “first-order substructural logic that has a cut-free sequent calculus”?

posted 2y ago by Dan Doel‭

Answer

50%

+0 −0

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

posted 2y ago by Dan Doel‭

Answer

See all 2 »

Reputation		21
Top-level posts		0
Answers		2
Received votes (up minus down)		2
Edits made		0

Earned Abilities

Statistics

Posts
Total		2
Questions		0
Answers		2
Articles		0

Votes cast
Total		6

Flags raised
Total		0