#

program-logic

Here are 2 public repositories matching this topic...

u8cat / iris-complete

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

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."