Reorganise Fields.FieldOfFractions.Order to possibly be a bit faster - Githubissues

Smaug123 / agdaproofs

Mathematical proofs in Agda

MIT License

4 stars 1 forks source link

Reorganise Fields.FieldOfFractions.Order to possibly be a bit faster #121

Closed Smaug123 closed 4 years ago