Daniel Donnelly

Member for 1 year, 9 months
Last seen this week

enjoysmath.blogspot.com
Sedona, AZ

Summary

Reputation

269

269
257
245

Feb
May
Aug
Nov

Top tag

implementation

Next privilege

350 Rep.

Access review queues

Badges

1

8

Newest

Yearling

Next badge

4/5

Curious

Questions

View all 7 questions

Score Activity Newest Views

4

How can you represent a dependent type visually?

Nov 3, 2022

3

Do implementations of a PA and of ATP have overlap?

Oct 30, 2022

1

Can Coq grab some data over HTTP and then write the data as declartions in Coq itself?

May 23

1

Does there exists a logical format so that my app can export in that format, and the existing popular proof assistants can take it as input?

Aug 28, 2022

1

How does Lean4 (or a typical PA) represent lambda functions or in other words arbitrary expressions?

Oct 10, 2022

Answers

Score Activity Newest

2

How to implement a visual proof assistant?

Oct 3, 2022

Tags

View all 22 tags

implementation

2

Score

3

posts

reference-request

2

Score

1

post

programming-languages

0

Score

5

posts

soft-question

0

Score

3

posts

abstract-syntax-tree

0

Score

2

posts

Reputation

+48

How can you represent a dependent type visually?

+10

Can Coq grab some data over HTTP and then write the data as declartions in Coq itself?

+38

Do implementations of a PA and of ATP have overlap?

+10

How does Lean4 (or a typical PA) represent lambda functions or in other words arbitrary expressions?

Badges

View all badges

This user doesn’t have any gold badges yet.

1

silver badge

Yearling

Feb 12

8

bronze badges

Commentator

Jul 20, 2022
Critic

Oct 3, 2022
Scholar

Aug 28, 2022

Accounts

View all 53 accounts

21k
7
47
103

Gardening & Landscaping

713
1
5
13

584
1
6
25

Computer Science

495
2
11

423
3
12

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

53

upvotes

27

question votes

26

answer votes

9

this month