vilem@buggymcbugfix·Oct 13, 2019Nice watch re the @XenaProject. I wish there were some code examples in it though. https://youtube.com/watch?v=Dp-mQ3HxgDE…1
Brendan Zabarauskas@brendanzabReplying to @buggymcbugfix and @XenaProjectYeah, I liked it too! The library that they are working on is at https://github.com/leanprover-community/mathlib…, and the perfectoid spaces project is at https://github.com/leanprover-community/lean-perfectoid-spaces/….github.comGitHub - leanprover-community/lean-perfectoid-spaces: Perfectoid spaces in the Lean formal theorem...Perfectoid spaces in the Lean formal theorem prover. - GitHub - leanprover-community/lean-perfectoid-spaces: Perfectoid spaces in the Lean formal theorem prover.9:22 PM · Oct 13, 2019·Twitter Web App1 Like
