Polprzewodnikowy 604c8a76d2 yo
2021-08-29 01:56:43 +02:00

3 lines
35 B
Plaintext

initial
assume (= [uut_0] [uut_1])