search

fpvandoorn / lean2

Lean theorem prover version 0.2 (it supports standard and HoTT modes)
Apache License 2.0
0 stars 0 forks source link

move files from Spectral to lean2 #2

Open fpvandoorn opened 6 years ago

fpvandoorn commented 6 years ago

everything which has no sorry and is relatively stable can be moved. Most of move_to_lib, and much of pointed and pointed_pi at least.