Network profile

Rob

Reputation

795

795
790
785

2018
2019
2020
2021

Top tag

soft-question

Next privilege

1,000 Rep.

See votes

Badges

7

19

Newest

Yearling

Next badge

0/1

Impact

0 posts edited

1 helpful flag

159 votes cast

6 Bookmarks

Votes Activity Newest Views Added

45

votes

3

answers

3k

views

How do 'tactics' work in proof assistants?

lo.logic type-theory proof-assistants

Mar 4 '13 at 16:39 Makarius 425

41

votes

4

answers

4k

views

How would I go about learning the underlying theory of the Coq proof assistant?

lo.logic type-theory proof-assistants proof-theory coq

Sep 17 '17 at 3:49 Mario Galic 103

16

votes

1

answer

383

views

What is the name of this type of directed graph problem?

ds.algorithms reference-request graph-algorithms terminology

Apr 11 '11 at 0:13 virgi 2,399

15

votes

1

answer

371

views

Looking for papers and articles on the Tarskian Möglichkeit

Mar 27 '12 at 20:17 Paulo 446

15

votes

5

answers

606

views

Looking for papers and articles on modal substructural logics

reference-request lo.logic proof-theory

Aug 28 '15 at 14:19 Charles Stewart 4,246

8

votes

3

answers

203

views

Looking for papers and articles on higher-order sequent systems

reference-request lo.logic proof-theory

Apr 14 '11 at 7:49 Charles Stewart 4,246

Theoretical Computer Science Stack Exchange works best with JavaScript enabled