GitHub - roboguy13/locales

Name	Name	Last commit message	Last commit date
Latest commit roboguy13 rewrite a couple proofs Mar 27, 2024 6e6789b · Mar 27, 2024 History 11 Commits
old	old	reorganize	Mar 27, 2024
.gitignore	.gitignore	initial commit	Mar 21, 2024
Order.agda	Order.agda	reorganize some more	Mar 27, 2024
OrderProperties.agda	OrderProperties.agda	rewrite a couple proofs	Mar 27, 2024
Tactics.agda	Tactics.agda	rewrite a couple proofs	Mar 27, 2024