Skip to content

Add encoding for Q (rationals as defined in Zarith)

Raphaël Proust requested to merge add-encoding-for-Q into master

Merge request reports