Skip to main content
Artificial Intelligence
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48
  • Member for 4 years, 5 months
  • Last seen more than 1 year ago
Profile Activity
Stats
166
reputation
327
reached
1
answer
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
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %
Top posts
answer
5
Has reinforcement learning been used to prove mathematical theorems?
Jun 28, 2020
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?