ssa.code-workspace

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