Skip to main content
Proof Assistants Beta
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin
  • Member for 2 years, 10 months
  • Last seen more than a week ago
  • Tbilisi
Profile Activity
Stats
704
reputation
23k
reached
10
answers
1
question
Communities
View all
About

Deeply Technical Writer at Noeon Research.

Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
16
bronze badges
Top tags
View all tags
11
Score
2
Posts
18
Posts %
11
Score
1
Posts
9
Posts %
11
Score
1
Posts
9
Posts %
11
Score
1
Posts
9
Posts %
10
Score
2
Posts
18
Posts %
7
Score
2
Posts
18
Posts %
Top posts
View all questions and answers
question
13
Learning materials for doing analysis (calculus) in a mechanized way
Apr 10, 2022
answer
11
Proof assistants for beginners - a comparison
Mar 30, 2022
answer
6
What's the difference between reflection and tactics?
Mar 20, 2022
answer
6
Can the language of proof assistants be used for general purpose programming?
Mar 24, 2022
answer
6
What is the meta-language of ZFC?
Jun 16, 2023
answer
4
Formal proof of “functional” / purposive law
Jun 26, 2023
answer
4
Examples of theories where tactic language is required for simple proofs
Nov 2, 2023
answer
3
Graph Theory in Lean
Jun 8, 2023
answer
2
Formalization of a model of ∞-category in a proof assistant
Aug 15, 2023
answer
2
what is needed to move from design by contract to using a more advanced prover?
Jun 8, 2023
Top network posts
View all network posts
10
What are the disadvantages of automatically inlining all functions?
9
Runtime/Backend for a lazy, pure functional, lambda-calculus-based language?
8
What is defunctionalisation useful for?
7
How do you solve Expression Problem in your language design?
7
What are the consequences of an unsound type system?