msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
Files
4f21b57a862793f32dcc4ad639bfac2329ce94a9
gf-core/testsuite/runtime/linearize/linearize.gfs.gold
T

4 lines
37 B
Plaintext
Raw Blame History

exists x such that x is even
View Git Blame Copy Permalink