Alex Chichigin

Member for 1 year, 9 months
Last seen more than a week ago

Tbilisi

Summary

Reputation

654

654
532
411

Feb
May
Aug
Nov

Top tag

learning

Next privilege

750 Rep.

See votes

Badges

4

15

Newest

Custodian

Next badge

0/1

Critic

Answers

View all 10 answers

Score Activity Newest

11

Proof assistants for beginners - a comparison

Mar 30, 2022

6

What's the difference between reflection and tactics?

Mar 20, 2022

6

Can the language of proof assistants be used for general purpose programming?

Mar 24, 2022

5

What is the meta-language of ZFC?

Jun 16

4

Formal proof of “functional” / purposive law

Jun 26

Questions

Score Activity Newest Views

12

Learning materials for doing analysis (calculus) in a mechanized way

Apr 10, 2022

Tags

View all 26 tags

learning

11

Score

2

posts

installation

11

Score

1

post

beginner

11

Score

1

post

ide

11

Score

1

post

tactic

8

Score

2

posts

Reputation

+28

Examples of theories where tactic language is required for simple proofs

+10

Can the language of proof assistants be used for general purpose programming?

+20

Formalization of a model of ∞-category in a proof assistant

+10

Formal proof of “functional” / purposive law

Badges

View all badges

This user doesn’t have any gold badges yet.

4

silver badges

Booster

Mar 30, 2022
Enthusiast

Apr 21, 2022
Constituent

Apr 1, 2022

15

bronze badges

Suffrage

Mar 25, 2022
Announcer

× 3

Jul 12
Commentator

Aug 26, 2022

Accounts

View all 9 accounts

Programming Language Design and Implementation

1,189
3
11

Proof Assistants

654
4
15

Computer Science

267
2
5

121
1
4

Theoretical Computer Science

101
3

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

284

upvotes

97

question votes

187

answer votes

6

this month