HN Trends Tracker

backend ok

Repost history

Back to feed

Canonical URL: https://adam.math.hhu.de/

Current story

#
Learn LEAN 4 Theorem Proving in an easy game(adam.math.hhu.de)
HN #50,066,0742026-10-13 03:04 UTC
4 pointsby samagra148 days ago0 comments

Prior reposts (13 of 14 total)

#
Natural Number Game for Lean 4(adam.math.hhu.de)
HN #37,880,7882023-10-14 14:36 UTC
3 pointsby lying4fun1102 days ago1 comments
#
Natural Number Game in Lean(adam.math.hhu.de)
HN #40,213,4972024-04-30 17:22 UTC
3 pointsby abdullahkhalids903 days ago0 comments
#
Natural Number Game: build the basic theory of the natural numbers from scratch(adam.math.hhu.de)
HN #42,440,0162024-12-17 10:06 UTC
191 pointsby mildog8672 days ago32 comments
#
Real Analysis, the Game(adam.math.hhu.de)
HN #46,215,5812025-12-10 08:56 UTC
2 pointsby __rito__314 days ago0 comments
#
Linear Algebra Game(adam.math.hhu.de)
HN #46,683,8222026-01-19 20:08 UTC
2 pointsby viscousviolin274 days ago0 comments
#
Lean Game Server(adam.math.hhu.de)
HN #46,683,9402026-01-19 20:17 UTC
2 pointsby viscousviolin274 days ago0 comments
#
Lean Game Server(adam.math.hhu.de)
HN #47,922,6862026-04-27 15:10 UTC
1 pointsby alabhyajindal176 days ago0 comments
#
Learning games for the proof assistant Lean(adam.math.hhu.de)
HN #48,915,1472026-07-15 01:29 UTC
1 pointsby marvinborner98 days ago0 comments
#
Natural Number Game(adam.math.hhu.de)
HN #49,406,9942026-08-23 08:18 UTC
1 pointsby it4rb58 days ago0 comments
#
Lean Game Server(adam.math.hhu.de)
HN #49,532,2062026-09-02 05:44 UTC
1 pointsby gregsadetsky48 days ago0 comments
#
Natural Number Game (Lean4 Tutorial)(adam.math.hhu.de)
HN #49,636,7062026-09-10 00:40 UTC
3 pointsby abetusk41 days ago1 comments
#
Lean Game Server(adam.math.hhu.de)
HN #49,636,7112026-09-10 00:41 UTC
3 pointsby abetusk41 days ago0 comments
#
Lean Game Server: A repo of learning games for Lean(adam.math.hhu.de)
HN #49,941,0552026-10-03 03:09 UTC
2 pointsby crescit_eundo18 days ago1 comments