Skip to content

ufmg-smite/real_closed_field

About

Formalisation of the theory of real closed fields in Lean 4.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages

  • Lean 45.4%
  • HTML 38.2%
  • TeX 11.4%
  • JavaScript 3.3%
  • CSS 1.4%
  • Ruby 0.2%
  • Other 0.1%