Proof Assistants Beta
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin
  • Member for 1 year, 9 months
  • Last seen more than a week ago
  • Tbilisi
Profile Activity
Stats
654
reputation
14k
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.
4
silver badges
15
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 %
8
Score
2
Posts
18
Posts %
6
Score
2
Posts
18
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
12
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
5
What is the meta-language of ZFC?
Jun 16
answer
4
Formal proof of “functional” / purposive law
Jun 26
answer
3
Graph Theory in Lean
Jun 8
answer
2
Formalization of a model of ∞-category in a proof assistant
Aug 15
answer
2
Examples of theories where tactic language is required for simple proofs
Nov 2
answer
2
what is needed to move from design by contract to using a more advanced prover?
Jun 8
Top network posts
View all network posts
9
What are the disadvantages of automatically inlining all functions?
8
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?
5
Could ownership be inferred?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.