An example script for provers: muudatuste ajalugu

Mine navigeerimisribale Mine otsikasti

Erinevuste valimine: märgi võrreldavate redaktsioonide raadionupud ning klõpsa sisestusklahvi või allpool olevat nuppu.
Legend: (viim) = erinevused võrreldes viimase redaktsiooniga, (eel) = erinevused võrreldes eelmise redaktsiooniga, P = pisimuudatus.

29. september 2019

  • viimeel 21:1829. september 2019, kell 21:18 Tammet arutelu kaastöö 4417 baiti +4417 Uus lehekülg: '<pre> #!/usr/bin/python3 # -*- coding: utf-8 -*- # # Runs prover on problems, collects results # # Call on the command line import sys, csv import datetime import subprocess...'
Pärit leheküljelt "http://www.lambda.ee/wiki/An_example_script_for_provers"