Theoretical Computer Science
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin
  • Member for 2 years, 7 months
  • Last seen more than a month ago
  • Tbilisi
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Deeply Technical Writer at Noeon Research.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Posts

This user hasn’t posted yet.

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

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.