HN Trends Tracker

backend ok

Repost history

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

Current story

#
Learning games for the proof assistant Lean(adam.math.hhu.de)
HN #48,915,1472026-07-15 01:29 UTC
1 pointsby marvinborner3 days ago0 comments

#
Natural Number Game for Lean 4(adam.math.hhu.de)
HN #37,880,7882023-10-14 14:36 UTC
3 pointsby lying4fun1007 days ago1 comments
#
Natural Number Game in Lean(adam.math.hhu.de)
HN #40,213,4972024-04-30 17:22 UTC
3 pointsby abdullahkhalids808 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 mildog8577 days ago32 comments
#
Real Analysis, the Game(adam.math.hhu.de)
HN #46,215,5812025-12-10 08:56 UTC
2 pointsby __rito__219 days ago0 comments
#
Linear Algebra Game(adam.math.hhu.de)
HN #46,683,8222026-01-19 20:08 UTC
2 pointsby viscousviolin179 days ago0 comments
#
Lean Game Server(adam.math.hhu.de)
HN #46,683,9402026-01-19 20:17 UTC
2 pointsby viscousviolin179 days ago0 comments
#
Lean Game Server(adam.math.hhu.de)
HN #47,922,6862026-04-27 15:10 UTC
1 pointsby alabhyajindal81 days ago0 comments