scratches

Repositories

9

Projects Packages

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

ffi_test

Lean 0 0

Lean4 FFI example

Updated 2024-10-25 16:50:33 +09:00

doug

Lean 0 0

fp in lean

Updated 2024-10-24 19:28:11 +09:00

test_popen_sh

C 0 0

Call sh from sh from C.

Updated 2024-10-10 21:02:12 +09:00

test_clock_validator

C++ 0 0

C++ project

Updated 2024-10-02 17:38:24 +09:00

software_foundation

Lean 0 0

Updated 2024-09-26 04:37:34 +09:00

lua_lib_in_c_playground

C 0 0

learning how to write lua lib in C

Updated 2024-08-18 01:17:17 +09:00

monadt_with_IO

Lean 0 0

Use monad transform with IO.

Updated 2024-06-05 15:50:55 +09:00

lean4_cli_example

Lean 0 0

Updated 2024-06-03 13:15:54 +09:00

tp_lean

Lean 0 0

Theorem proving in lean

Updated 2024-05-20 11:50:48 +09:00