11 commits
		
	
	
	| Author | SHA1 | Date | |
|---|---|---|---|
|   | c6a9277d51 | ||
|   | af7768d83d | ||
|   | fdfbff3999 | ||
|   | 599bf96dc4 | ||
|   | 20dc44b800 | ||
|   | b5161a8fe6 | ||
|   | a8a02b9ebb | ||
|   | fba48149a5 | ||
|   | 81ab2acb2c | ||
|   | 4748e185a7 | ||
|   | 17464b6446 | 
				Renamed from papers/doc/7-systems/vera.md (Browse further)