#Deductive-reasoning
Showing 4 of 4 repositories tagged #deductive-reasoning, ranked by stars
creusot-rs
creusot
Creusot helps you prove your Rust code is correct.
Score
100
★ 1.8k
⑂ 83
+10/day
Rust
AeneasVerif
aeneas
A verification toolchain for Rust programs
Score
50
★ 847
⑂ 86
+21/day
OCaml
sarsko
CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Score
0
★ 688
⑂ 14
—
Rust
jeffhj
LM-reasoning
This repository contains a collection of papers and resources on Reasoning in Large Language Models.
Score
0
★ 572
⑂ 37
—