Skip to content
my Coq code done for a university lecture http://askra.de/lehre/angewandte-verifikation/
Coq
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
1_nth_firstn_eq.v
Something went wrong with that request. Please try again.