Why Lean 4 replaced OCaml as my Primary Language

Schreibe einen Kommentar Antworten abbrechen

Name	Typ	Größe	Geändert am	Zugriff
📄 ailinux-app_1.0.0_not_working_anymore.deb	DEB	60,09 MB	14.07.2025 06:53	0644
📄 ailinux-app_1.0.1_not_working_anymore.deb	DEB	60,11 MB	14.07.2025 11:56	0644
📄 ailinux-app_1.0.2_amd64_not_working_anymore.deb	DEB	60,11 MB	15.07.2025 05:16	0644
📄 ailinux-app_1.0.3_amd64.deb	DEB	60,11 MB	15.07.2025 05:51	0644
📄 ailinux-app_1.1.0_amd64.deb	DEB	50,07 MB	17.07.2025 10:53	0644
📄 ailinux-app_1.2.1_amd64.deb	DEB	50,07 MB	26.07.2025 05:32	0644
📄 ailinux-app_1.8.0_amd64.deb	DEB	46,54 MB	27.07.2025 16:29	0644