cirosantilli/china-dictatorship
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
51d7b85b0dabaa05eec00c3faefc2d7ad0fd2070
china-dictatorship/hello-world/v/V.v

2 lines
23 B
Coq
Raw Normal View History

hello-world
2021-03-24 00:00:01 +00:00
println("Hello World")
Reference in New Issue Copy Permalink