8000 Commits · kcajc/ProofFrog · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on May 23, 2025

Commits on May 22, 2025

Commits on May 20, 2025

Remove repeated void
kcajc
committed

Commits on Sep 3, 2024

Commits on Aug 30, 2024

Merge pull request #74 from ProofFrog/semantic-analysis
Qcode
authored

Commits on Aug 28, 2024

Commits on Aug 25, 2024

Don't warn unused ignores in CI
Qcode
committed

Commits on Aug 24, 2024

Commits on Jul 5, 2024

Get lets type checked for first basic proof
Qcode
committed

Commits on Jul 3, 2024

Fix not equals operator typo (#73)
Qcode
authored

Commits on Jul 2, 2024

Add more general expression for maps (#72)
Qcode
authored

Commits on Jun 26, 2024

Merge branch 'semantic-analysis' of github.com:ProofFrog/ProofFrog into semantic-analysis
Qcode
committed

Commits on Jun 25, 2024

Commits on Jun 24, 2024

Proof engine bug fixes (#70)

wendy-lu464
and
Qcode
authored

Commits on Jun 19, 2024

Commits on Jun 17, 2024

Dummy CommitAi
Qcode
committed

Commits on Jun 5, 2024

0