Xia Li-yao

To allow users to double check what the install does to their systems

flèche as a library

1

I'm very interested in using flèche for building LSPs, so I'm wondering what the working status is. It seems that its code is currently tied to Rocq-specific things. Is there...

Update for Creusot 0.7.0

15

This currently only updates the `.rs` sources. I haven't tried fixing the proofs yet. BTW Is there a reason for checking in `.why3find` and `target`?

Replace `Derive` with `Derive Instance`

1

Close #416

Update ci_test_dependants syntax

1

Cont'd https://github.com/rocq-community/templates/pull/139

Theme changes break hot reload

3

When `slipshow serve` is running and I edit my custom theme, the hot reload often just breaks the theme. The content of the presentation otherwise appears fine. Refreshing myself then...