• Adaptation d’un assistant de preuve au besoin de l’utilisateur mathématicien

	Filename	Updated	Actions
	bibliography		delete
	figures		delete
	Beaucoup_peut_tre_galement_fait__.tex		delete
	Bien_souvent_galement_des_r__.md		delete
	Bonnes_pratiques_Dans_l_tat__.md		delete
	Ce_travail_s_articulera_avec__.md		delete
	Company_Coq_cite_CompanyCoq2016_est__.md		delete
	Conclusion_Jamais_avant_l_arriv__.md		delete
	Diff_rents_assistants_de_preuve__.md		delete
	Faciliter_le_partage_n_est__.md		delete
	Gestion_efficace_de_la_biblioth__.md		delete
	Gr_ce_notre_travail_sur__.md		delete
	La_question_de_l_automatisation__.md		delete
	Langage_de_tactiques_la_mani__.md		delete
	Lisibilit_et_robustesse_des_preuves__.md		delete
	Mizar_cite_Naumowicz_2009_est_un__.md		delete
	Notations_et_rendu__.md		delete
	Nous_anticipons_que_la_question__.md		delete
	Nous_explorerons_galement_la_dualit__.md		delete
	Or_une_possible_solution_au__.md		delete
	Outre_son_importance_pour_comprendre__.md		delete
	Parfois_elles_permettent_davantage_et__.md		delete
	Transfert_de_th_or_mes__.md		delete
	Un_des_principaux_reproches_qui__.md		delete
	Vers_une_biblioth_que_collaborative__.md		delete
	layout.md
	title.md
	untitled.md		delete