forall

Here are 6 public repositories matching this topic...

Open-source health assistant, and so much more.

open-source ai open health healthcare forall healthcare-ai health-ai

Evaluation metadata and reproducible summaries for Forall-Lean-Agent on the VeriSoftBench 100-task subset

software-verification forall lean4

An overview of the streaming concept from a functional programming point of view implemented in Scala.

streaming scala functional-programming prime-numbers reccurence fibbonacci forall

A set of tools for Go to teach Parallel Programming

Forall-Lean-Agent evaluation metadata, environment pins, and reproducible resource analysis for PutnamBench.

forall lean4 putnam math-verification putnam-competition

Accepted Forall-Lean-Agent proofs for LeanEval software verification

software-verification forall lean4

To associate your repository with the forall topic, visit your repo's landing page and select "manage topics."