HepLean Documentation

Std.Tactic.BVDecide.LRAT

This directory contains the implementation of the LRAT certificate checking algorithm as well as parsers for the binary and the non-binary LRAT format.