Skip to content
CI

add predicates to coq-lib to convert elpi strings and lists to coq strings and lists. #1204

Sign in to view logs

add predicates to coq-lib to convert elpi strings and lists to coq strings and lists.

add predicates to coq-lib to convert elpi strings and lists to coq strings and lists. #1204

Annotations

1 error and 1 warning

The logs for this run have expired and are no longer available.