scratches
Repositories
10
 Projects Packages
Filter
Sort
ml-test
HTML 0 0
Updated 2025-01-08 22:13:19 +09:00
software_foundation
Lean 0 0
Updated 2025-01-08 01:28:18 +09:00
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
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