Пример #1
0
def runcoqd(serialize):
    coqd_main()
Пример #2
0
def runcoqd(modules, serialize):
    coqd_main(modules, serialize)