5 lines
82 B
Text
5 lines
82 B
Text
|
(executable
|
||
|
|
(public_name proof_checker)
|
||
|
|
(name main)
|
||
|
|
(libraries proof_checker))
|