Rankings
Badges
/
mr-ohman
Rankings
Badges
Overview
Ranks
Repositories
Languages
Joakim Öhman
@mr-ohman
Refresh
Open GitHub
null
Profile age: almost 12 years
Updated 12 days ago
24 followers • 6 following
Repositories
logrel-mltt
54
11
2
updated 2 months ago • age almost 9 years
Agda
99.8%
Makefile
0.2%
intuitionistic-normalization
6
1
updated over 9 years ago • age over 9 years
Agda
100.0%
Contributions
