nnarek
Follow
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedAug 12, 2025 -
-
-
tensara_problems Public
Forked from tensara/problemsTensara's GPU programming problems
Python UpdatedJun 24, 2025 -
bronze-qiskit Public
introduction to quantum computing and programming with qiskit
Jupyter Notebook Other UpdatedApr 13, 2025 -
csc-cuda Public
Forked from csc-training/CUDAIntroduction to CUDA programming
Jupyter Notebook MIT License UpdatedApr 11, 2025 -
PLFaLean Public
Forked from rami3l/PLFaLeanLearn Lean 4 with PLFA proofs.
Lean MIT License UpdatedApr 8, 2025 -
GPU-Puzzles Public
Forked from srush/GPU-PuzzlesSolve puzzles. Learn CUDA.
Jupyter Notebook MIT License UpdatedApr 8, 2025 -
formalising-mathematics-2024 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2024Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Lean Apache License 2.0 UpdatedMar 18, 2025 -
GlimpseOfLean Public
Forked from PatrickMassot/GlimpseOfLeanAn introduction to theorem proving in Lean for the impatient.
Lean Apache License 2.0 UpdatedMar 17, 2025 -
csclub-coq-course-spring-2021 Public
Forked from anton-trunov/csclub-coq-course-spring-2021A course on formal verification at https://compsciclub.ru/en, Spring term 2021
HTML UpdatedMar 17, 2025 -
-
lean4-metaprogramming-book Public
Forked from leanprover-community/lean4-metaprogramming-bookLean Apache License 2.0 UpdatedFeb 28, 2025 -
tutoriel_framac_wp Public
Forked from AllanBlanchard/tutoriel_wpFrama-C and WP tutorial
TeX Other UpdatedFeb 26, 2025 -
logical_verification_2024 Public
Forked from lean-forward/logical_verification_2024The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
Lean UpdatedFeb 23, 2025 -
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedFeb 18, 2025 -
arend-tutorial-code Public
Forked from arend-lang/tutorial-codeSource code & exercises in Arend's documentation
Apache License 2.0 UpdatedFeb 18, 2025 -
HoTTEST-Summer-School Public
Forked from martinescardo/HoTTEST-Summer-SchoolHoTTEST Summer School materials
TeX UpdatedJan 28, 2025 -
HTPILeanPackage Public
Forked from djvelleman/HTPILeanPackageLean Apache License 2.0 UpdatedJan 17, 2025 -
plfa_solutions Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedDec 24, 2024 -
QuantumKatas Public
Forked from microsoft/QuantumKatasTutorials and programming exercises for learning Q# and quantum computing
Jupyter Notebook MIT License UpdatedAug 21, 2024 -
pnp-coq Public
Forked from ilyasergey/pnpLecture notes for a short course on proving/programming in Coq via SSReflect.
Coq BSD 2-Clause "Simplified" License UpdatedJun 24, 2021