RaitoBezarius/berkovich-spaces

Attempt to formalize Berkovich spaces in Lean theorem prover

LeanMIT