FRAT

MaRDI QIDQ1350631swMATHFDO

Official website https://arxiv.org/abs/2109.09665

Source code repository https://github.com/digama0/frat

Described by source

• scientific article; zbMATH DE number 7566059 (Why is no real title available?)

Cited in

(4)

• TRX
• GRATchk
• MaxPre
• A flexible proof format for SAT solver-elaborator communication

This page was built for software: FRAT