FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

program-logic · GitHub Topics · GitHub

Explore Topics Trending Collections Events GitHub Sponsors
#

program-logic

Star

Here are 3 public repositories matching this topic...

Language: All
Filter by language
All 3 Rocq Prover 1 Java 1 Lean 1

Verified-zkEVM / VCVio

Star 141

A Lean library for machine-checked cryptographic proofs.

cryptography proof-assistant post-quantum-cryptography formal-verification lean4 program-logic game-hopping
  • Updated Aug 28, 2026
  • Lean

u8cat / iris-complete

Star 5

Completeness of the Iris separation logic framework

coq iris separation-logic denotational-semantics weakest-preconditions program-logic rocq
  • Updated Feb 5, 2026
  • Rocq Prover

eisBlume0901 / java-i-programming-moocfi-notes

Star 1

My notebook when I was learning University of Helsinki's MOOC Java I Programming

lists strings arrays user-interface conditional-statements oops-in-java file-reading data-types-and-variables reference-variable primitive-variable program-logic
  • Updated Aug 10, 2023
  • Java

Improve this page

Add a description, image, and links to the program-logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more

Back | FazBrowse Home | New Git URL