deductive-reasoning topic

Creusot helps you prove your code is correct in an automated fashion.

creusot-rs

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

sarsko

Synthesis of Heap-Manipulating Programs from Separation Logic

TyGuS

Frama-C and WP tutorial

AllanBlanchard

This repository contains a collection of papers and resources on Reasoning in Large Language Models.

jeffhj

A verification toolchain for Rust programs

AeneasVerif