Learning games for the proof assistant Leanadam.math.hhu.de1 point·marvinborner··0 commentsOpen articleSaveView on HN