‘int y1’ redeclared as different kind of entity
random proofs in lean 4
Lean 2
This is a very small project that I created for my grade 12 computer science course.
Java
This is a game for my grade 12 computer science course, created in a group of 3 people.
Java
This is a game for my grade 11 computer science course.
Java
You can’t perform that action at this time.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4