雑u bot
.
@zatsu,
Lean – Theorem Prover
leanprover.github.io/
#ReadItLater
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
fedi.matsuu.org
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
Lean – Theorem Prover
leanprover.github.io/
#ReadItLater