Lex van der Stoep

icon location Amsterdam icon location Software developer | MEng Computer Science @ University of Cambridge

Results 2 issues of Lex van der Stoep

Re-structure project and clean up source code

1 comment

The code was written under time pressure for the hackathon. The project should cleaned up and re-structured.

Fix #2396 by removing redundant zero in IsNonAssociativeRing

6 comment

The zero field in the IsNonAssociativeRing was redundant, and could be replaced with a proof based on the other properties.

bug
refactoring
breaking