You need to sign in or sign up before continuing.

Explore projects

M

Wessel de Weijer / ms thesis

0

Updated Dec 20, 2024

0 0 0 0

Updated Dec 20, 2024
M

Simcha van Collem / master-thesis

0

Updated Dec 12, 2024

0 0 0 0

Updated Dec 12, 2024
Thorsten Wißmann / Action Codes in Coq
GNU Lesser General Public License v2.1 only

1

Updated Nov 04, 2024

1 0

Updated Nov 04, 2024
S

Thomas Somers / session-channels-linking-sources
BSD 3-Clause "New" or "Revised" License

0

Updated Aug 30, 2024

0 0 0 0

Updated Aug 30, 2024
program-verification / course-2023-2024
BSD 3-Clause "New" or "Revised" License

0

Updated Jun 22, 2024

0 3 0 0

Updated Jun 22, 2024
Marijn van Wezel / course-2023-2024
BSD 3-Clause "New" or "Revised" License

0

Updated May 22, 2024

0 0 0 0

Updated May 22, 2024
B

Simcha van Collem / Bachelor Thesis

0

Updated Aug 30, 2023

0 0 0 0

Updated Aug 30, 2023
R

Bálint Kocsis / Research Internship

0

Updated Jul 24, 2023

0 0 0 0

Updated Jul 24, 2023
M

Simcha van Collem / MFoCS Seminar 2023

0

Updated Feb 23, 2023

0 0 0 0

Updated Feb 23, 2023
L

Sander Suverkropp / Lsharp in Coq

0

Updated Aug 30, 2022

0 0 0 0

Updated Aug 30, 2022
S

Wessel de Weijer / stage22

0

Updated Apr 28, 2022

0 0 0 0

Updated Apr 28, 2022
C

Michiel Philipse / Coq Multi-Agent Systems

0

Updated Sep 02, 2021

0 0 0 0

Updated Sep 02, 2021
R

sovereign / ReLoC-2
BSD 3-Clause "New" or "Revised" License

https://gitlab.mpi-sws.org/iris/reloc/

0

Updated Apr 17, 2019

0 0 0 0

Updated Apr 17, 2019
C

sovereign / c-monad
BSD 3-Clause "New" or "Revised" License

https://cs.ru.nl/~dfrumin/wpc/index.html

0

Updated Apr 17, 2019

0 0 0 0

Updated Apr 17, 2019
R

sovereign / ReLoC

A mirror of ReLoC - Relational logic for fine-grained concurrency

0

Updated Feb 02, 2018

0 0 0 0

Updated Feb 02, 2018