Rodolphe Lepigre comments

Repositories
Issues
Comments

Results 156 comments of


                                            Rodolphe Lepigre

Add primitive string type.

@coqbot run full ci

Add primitive string type.

@coqbot run full ci

Add primitive string type.

@coqbot run full ci

Add primitive string type.

@coqbot run full ci

Add primitive string type.

@coqbot run full ci

Add primitive string type.

@silene thanks for the comments. I should have said, but `PString.v` is still in a rough shape, and has not been cleaned-up fully since the last changes to the axioms...

Add primitive string type.

@coqbot run full ci

Add primitive string type.

@coqbot run full ci

Add primitive string type.

@coqbot run full ci

Add primitive string type.

@coqbot run full ci