main

BranchesTags

Go to file

Code

Open more actions menu

Folders and files

Name		Name	Last commit message	Last commit date
Latest commit   History 83 Commits 83 Commits
GPU-Puzzles @ a08c1ac		GPU-Puzzles @ a08c1ac
GlimpseOfLean @ 3d2a8f4		GlimpseOfLean @ 3d2a8f4
HTPILeanPackage @ ab38a3c		HTPILeanPackage @ ab38a3c
HoTTEST-Summer-School @ 43dc9cd		HoTTEST-Summer-School @ 43dc9cd
arend-tutorial-code @ 5d44a78		arend-tutorial-code @ 5d44a78
bronze-qiskit @ 5dcc96f		bronze-qiskit @ 5dcc96f
csc-cuda @ a7443b2		csc-cuda @ a7443b2
dafny-tutorial		dafny-tutorial
dli-fundamentals-of-accelerated-computing-with-cuda-c-cpp/accelerating-applications-with-cuda-c-cpp		dli-fundamentals-of-accelerated-computing-with-cuda-c-cpp/accelerating-applications-with-cuda-c-cpp
experiments		experiments
isabelle-prog-prove		isabelle-prog-prove
lean4game		lean4game
learn-prolog-now @ 2a64118		learn-prolog-now @ 2a64118
leetgpu		leetgpu
logical_verification_2024 @ 27b62fb		logical_verification_2024 @ 27b62fb
mathematics_in_lean @ ed2d3aa		mathematics_in_lean @ ed2d3aa
plfa @ e616c46		plfa @ e616c46
pnp-coq @ dc32861		pnp-coq @ dc32861
quantum-katas		quantum-katas
software-foundations		software-foundations
tla_pluscal_tutorial		tla_pluscal_tutorial
tutoriel_framac_wp @ 08d9135		tutoriel_framac_wp @ 08d9135
.gitignore		.gitignore
.gitmodules		.gitmodules
View all files

About

No description, website, or topics provided.

Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks

Report repository

Releases

Packages

Contributors

Languages