|
@XenaProject | |||||
|
People are getting better at using #leanprover with @observablehq . I'm trying to round up some of the examples of things people like Bryan Gin-ge Chen and Kevin Kappelmann have done over the last few months. twitter.com/blockspins/sta…
|
||||||
|
||||||