This project contains definition of ring and ordered ring, as well as some basic results derived from ring axioms and ordered axioms.
The questions are from Axiom Set of ROSS mathematics program.
-
Notifications
You must be signed in to change notification settings - Fork 0
cymcymcymcym/ring_axioms_lean4
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Proof of some basic results in ring and ordered ring in lean 4
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published