{
	plugins.coq-nvim = {
		enable = true;	
		settings = {
			auto_start = true;
		};
	};
}