cake_lpr

swMATH41080MaRDI QIDQ1354216FDOQ1354216

Author name not available (Why is that?)

Source code repository: https://github.com/tanyongkiam/cake_lpr

Described by source

• \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML

Cited In (2)

• Title not available (Why is that?)
• SAT competition 2020

This page was built for software: cake_lpr