Proof Assistants Beta
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48
  • Member for 1 year, 8 months
  • Last seen this week
Profile Activity
Stats
612
reputation
6k
reached
9
answers
0
questions
Communities
View all
About

Software Engineering researcher working on the Coq proof assistant and its ecosystem. I like programming using nice functional languages with type-inference, such as OCaml or Elm.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
9
bronze badges
Top tags
View all tags
48
Score
7
Posts
78
Posts %
16
Score
3
Posts
33
Posts %
13
Score
1
Posts
11
Posts %
13
Score
1
Posts
11
Posts %
11
Score
2
Posts
22
Posts %
11
Score
1
Posts
11
Posts %
Top posts
All Questions Answers
Score Newest
answer
14
What are the differences between jsCoq and the versions of Coq that can be downloaded?
Feb 9, 2022
answer
13
Explanation of Coq math-comp repositories
Apr 15, 2022
answer
11
Is there a Mizar-like sublanguage for Coq?
Feb 15, 2022
answer
9
Proof assistants for beginners - a comparison
Feb 15, 2022
answer
4
iris/algebra/auth.vo has bad version number 81700 (expected 81601) for IRIS Coq
Sep 26
answer
3
How do you import part of the standard library in Coq?
Feb 15, 2022
answer
3
What games are there?
Feb 15, 2022
answer
2
Hide the value of a hypothesis introduced by `pose`, show only its type
Feb 21, 2022
answer
1
Hide the value of a hypothesis introduced by `pose`, show only its type
Feb 22, 2022
Top network posts
View all network posts
48
How do I upgrade my system to nixos-unstable?
25
Nix desktop files
24
How to use MIT license in a project?
22
How to deal with licences after forking a project?
17
What are the implications of licensing a JavaScript library under GPL?

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.