1.8 KiB
1.8 KiB
import path
import logging
from contextlib import redirect_stdout
# logging.basicConfig(level=logging.INFO)
import gaknot
Lemma
gaknot.prove_lemma()
Details to file
with open('very_detailed_calculations.txt', 'w') as f:
with redirect_stdout(f):
gaknot.prove_lemma(details=True)
Calculations to file
with open('calculations.txt', 'w') as f:
with redirect_stdout(f):
gaknot.prove_lemma(details=False)