| Cited in 32 Documents (2020–2024) |
| Software Authors: | van Doorn, Floris; Ebner, Gabriel; Lewis, Robert Y.; The mathlib Community |
| Related Software: | Lean; Coq; Isabelle/HOL; … |
| Main Fields: | Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX); … |
| Cited in 2 Documents (2002) |
| Software Authors: | Valentini, Giorgio; Masulli, Francesco |
| Related Software: | MLC++ |
| Main Fields: | Computer science (68-XX) |
| Cited in 1 Document (2017) |
| Software Authors: | Voelter, Markus; Ratiu, Daniel; Schaetz, Bernhard; Kolb, Bernd |
| Related Software: | Cyclone; Hume; Cedalion; … |
| Main Fields: | Computer science (68-XX) |
| Cited in 0 Documents |
| Software Authors: | Bizzego, Andrea; Lim, Mengyu; Esposito, Gianluca |
| Related Software: | pyreadstat; NumPy; pandas; … |
| Main Fields: | – |
