Skip to main content
Proof Assistants Meta
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin
  • Member for 2 years, 5 months
  • Last seen more than a month ago
  • Tbilisi
Profile Activity
Stats
704
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Deeply Technical Writer at Noeon Research.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
13
Learning materials for doing analysis (calculus) in a mechanized way
11
Proof assistants for beginners - a comparison
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?