GitHub - jmoraal/BachelorFinalProject_MeasureTheory_WP: Libraries and notebooks to include basic measure theory and improve general set-related notation in WaterProof.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 133 Commits
WP exports		WP exports
#measures_without_pi_lambda.v#		#measures_without_pi_lambda.v#
#set_prooftool.v#		#set_prooftool.v#
.gitattributes		.gitattributes
MTdefs_old.wpn		MTdefs_old.wpn
Notebooks.v		Notebooks.v
Old_tries.v		Old_tries.v
Pi_lambda_theorem_better_but_still_wrong_records.wpn		Pi_lambda_theorem_better_but_still_wrong_records.wpn
Pi_lambda_theorem_wrong_records.wpn		Pi_lambda_theorem_wrong_records.wpn
SetNotations.wpn		SetNotations.wpn
cont_meas_records.v		cont_meas_records.v
measure_theory.wpn		measure_theory.wpn
measures.v		measures.v
measures.wpn		measures.wpn
measures_sigma_record.v		measures_sigma_record.v
measures_werkbestand.v		measures_werkbestand.v
measures_with_records.v		measures_with_records.v
measures_without_pi_lambda.v		measures_without_pi_lambda.v
measures_without_pi_lambda_modules.v		measures_without_pi_lambda_modules.v
measures_without_pi_lambda_nat_R_overload.v		measures_without_pi_lambda_nat_R_overload.v
measures_without_pi_lambda_with_salg_type.v		measures_without_pi_lambda_with_salg_type.v
notation_overload.v		notation_overload.v
pi_lambda.v		pi_lambda.v
pi_lambda.wpn		pi_lambda.wpn
pi_lambda_werkbestand.v		pi_lambda_werkbestand.v
record_test.wpn		record_test.wpn
records_and_coercions.v		records_and_coercions.v
records_and_coercions_problem.v		records_and_coercions_problem.v
records_and_coercions_v2.v		records_and_coercions_v2.v
set_prooftool.v		set_prooftool.v
sets.wpn		sets.wpn
sets_old_proofs.wpn		sets_old_proofs.wpn
sigma_record.v		sigma_record.v
temp.wpn		temp.wpn
test.v		test.v
test_notations.v		test_notations.v
trivial_sigma_algebra.v		trivial_sigma_algebra.v
trivial_sigma_algebra.wpn		trivial_sigma_algebra.wpn