Index of /CompLangs

	Name	Last modified	Size	Description
	Parent Directory		-
	AI apps/	2024-01-21 08:54	-
	Blender/	2026-01-15 16:21	-
	Fractals/	2023-09-02 17:11	-
	GEMA SOM python/	2023-09-02 17:12	-
	Google Gemini/	2025-05-02 18:16	-
	Isabelle/	2025-05-02 18:16	-
	LaMDA-rlhf-pytorch-0.0.2/	2024-01-21 08:54	-
	LibTopoART_v0.97.0/	2023-09-18 12:01	-
	LibreOffice/	2023-09-02 17:12	-
	PineScript/	2026-01-16 09:18	-
	Python/	2024-01-21 08:54	-
	Quantum computer/	2025-05-02 18:16	-
	SciLab/	2023-09-02 17:15	-
	complexity, abstraction/	2026-01-16 09:18	-
	eGroupWare/	2023-09-02 17:15	-
	math proof HOL/	2024-02-29 20:54	-
	math proof Isabelle/	2024-02-29 20:54	-
	96mmdd NASA Formal methods and their role in digital systems validation for airborn systems.txt.txt	2021-10-05 18:13	0
	cpp compiler auto declaration of variables.txt	2017-07-06 09:45	1.7K
	1_hybridLanguage philosopy.txt	2023-03-03 17:35	2.6K
	9208dd Camilleri, Melham - Reasoning with inductively definedtions in the HOL theorem prover.pdf	2021-10-05 17:34	279K
	96mmdd NASA Formal methods and their role in digital systems validation for airborn systems.pdf	2021-10-05 18:04	4.5M