GitXplorerGitXplorer
p

Internship_Netherlands_Coq

public
0 stars
0 forks
0 issues

Commits

List of commits on branch main.
Unverified
412f8fdcd18603b6d3b71a85ff43130da6f0e5eb

big refactor

ppauladam94 committed 5 months ago
Unverified
527fa70d746a4f42e1af5fbf263d979fb30d61f8

restructure of the project

ppauladam94 committed 6 months ago
Unverified
bbd4a771f195facdd0c8b93d4b2965f96575eeff

commit before some large changes

ppauladam94 committed 6 months ago
Unverified
f37f2d72af8ff3f27898df0a44f37c9d750729ad

borrow mut / change semaphore

ppauladam94 committed 6 months ago
Unverified
da9a06c5107198d5228625ae7709b937b89340e0

try to make parsing "a + b" works

ppauladam94 committed 6 months ago
Unverified
d28c572638f60938c7fa79e825d83e626febe94b

IfEqual operator | Fibonnaci function works

ppauladam94 committed 6 months ago

README

The README file for this repository.

Internship_Netherlands_Coq

Prooving Some Borrow checking Propertie in Coq

How to run

coq_makefile -f _CoqProject *.v -o Makefile
make

Dependencie chain Language

Utils: None Error: Utils Language: Utils Parse: Utils, Error, Language Semantics: Utils, Language, Error, Parse Typing: Not Done for now