Proof Assistants Meta
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin
  • Member for 1 year, 10 months
  • Last seen more than 1 year ago
  • Tbilisi
Profile Activity
Stats
654
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.
1
silver badge
2
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.