Skip to main content
Proof Assistants Beta
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48
  • Member for 2 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
657
reputation
14k
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.
5
silver badges
9
bronze badges
Top tags
View all tags
51
Score
7
Posts
78
Posts %
17
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
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
How do you import part of the standard library in Coq?
Feb 15, 2022
answer
4
iris/algebra/auth.vo has bad version number 81700 (expected 81601) for IRIS Coq
Sep 26, 2023
answer
3
What games are there?
Feb 15, 2022
answer
3
Hide the value of a hypothesis introduced by `pose`, show only its type
Feb 21, 2022
answer
2
Hide the value of a hypothesis introduced by `pose`, show only its type
Feb 22, 2022
Top network posts
View all network posts
58
How do I upgrade my system to nixos-unstable?
28
How to use MIT license in a project?
26
Nix desktop files
23
How to deal with licences after forking a project?
21
What are the implications of licensing a JavaScript library under GPL?