This website requires JavaScript.
Explore
Help
Sign in
SunRed
/
highscore-server
Watch
1
Star
0
Fork
You've already forked highscore-server
0
Code
Issues
5
Pull requests
Projects
Releases
Packages
1
Wiki
Activity
Actions
859ac51f1a
highscore-server
/
src
/
score.v
7 lines
57 B
Coq
Raw
Normal View
History
Unescape
Escape
Initial commit
2023-01-07 13:00:00 +01:00
module
main
struct
Score
{
Formatting again using vfmt
2023-01-11 19:08:24 +01:00
player
string
score
int
Initial commit
2023-01-07 13:00:00 +01:00
}
Reference in a new issue
Copy permalink