equational-theories.code-workspace

{
	"folders": [
		{
			"path": "."
		},
	],
	"settings": {
		"files.insertFinalNewline": true,
		"files.trimTrailingWhitespace": true,
		"[lean4]": {
			"editor.rulers": [
				100
			]
		}
	},
	"extensions": {
		"recommendations": [
			"leanprover.lean4"
		]
	}
}