Skip to content
Snippets Groups Projects
Normal view Permalink
dune 194 B
Newer Older
Lennard Gäher's avatar
initial public version
Lennard Gäher committed
1 2 
(coq.theory
 (name lithium)
Vincent Lafeychine's avatar
Add nix support  
Vincent Lafeychine committed
3 
 (package refinedrust)
Lennard Gäher's avatar
initial public version
Lennard Gäher committed
4 
 (flags :standard -w -notation-overridden -w -redundant-canonical-projection)
Lennard Gäher's avatar
update dune version  
Lennard Gäher committed
5 6 
 (synopsis "Lithium")
 (theories stdpp iris RecordUpdate Ltac2))