Matthieu Coudron 29d912eb82
Merge pull request #65558 from matthias-t/lean
Vim plugins for the lean theorem prover
2019-07-30 14:00:17 +09:00
..
2019-06-25 00:20:26 +02:00
2019-07-01 04:23:51 -04:00
2019-07-22 17:10:17 +10:00
2019-05-08 03:48:30 +09:00
2019-05-20 22:14:24 +03:00
2019-07-03 22:20:23 +02:00
2019-05-10 23:32:44 +02:00
2019-07-20 11:53:01 -07:00
2019-07-25 22:39:43 +02:00