search

FMFI-UK-1-AIN-412 / formalization-checker-backend

The back end of a tool for checking formalization exercises.
GNU General Public License v3.0
0 stars 5 forks source link

Caching of theorem proving results #40

Open crnkjck opened 5 months ago

crnkjck commented 5 months ago

Cache the results of theorem proving (by the type of the problem (proving/fmb) and the tptp input) in the DB.