7 Commits

Author	SHA1	Message	Date
Leni Aniva	1f9c8717f8	Multithreaded example	2024-04-12 16:08:55 -07:00
Leni Aniva	7457bdf363	Bump Lean version to 4.7.0-rc2	2024-03-15 06:21:10 -07:00
Leni Aniva	e0e293efc9	Code cleanup	2024-03-06 14:37:56 -08:00
Leni Aniva	4acebb508f	Add bindgen hook; code cleanup	2024-03-06 13:07:54 -08:00
Leni Aniva	a4a96bce61	Add full calling example	2024-03-05 15:57:48 -08:00
Leni Aniva	5d1f76c332	Add rust (caller) side entry point	2024-03-05 14:00:04 -08:00
Leni Aniva	b53d26b7ec	Stub	2024-03-04 21:08:55 -08:00