Commit graph

Select branches

Hide pull requests

main

Mono Color

• 3e6b9bcdfa update README main qwjyh 2024-10-25 16:50:24 +09:00
• acbdce7e8b disable CI qwjyh 2024-10-25 16:48:29 +09:00
• 3183a106c5 ffi example (from official lake repository (leanprover/lean4)) qwjyh 2024-10-25 16:47:35 +09:00
• 57fb134506 init qwjyh 2024-10-23 16:03:06 +09:00