Lean theorem prover (Q6509476)

From Wikidata
Jump to: navigation, search
software for interactive and automated theorem proving
edit
Language Label Description Also known as
English
Lean theorem prover
software for interactive and automated theorem proving

    Statements

     
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    edit