Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / imandra-ai/imandra-stdlib issues and pull requests

#7 - add forall preserves append theorem

Pull Request - State: closed - Opened by benbellick 3 months ago - 1 comment

#6 - feat: adding split_on_string functionality for LString

Pull Request - State: open - Opened by ewenmaclean 4 months ago

#5 - feat: use ipl friendly map2 and for_all2

Pull Request - State: closed - Opened by ewenmaclean 5 months ago

#4 - Add for_all2 to List

Pull Request - State: closed - Opened by EmmaTye 6 months ago

#3 - wip: convert stdlib to a library

Pull Request - State: closed - Opened by aidmandorky over 1 year ago

#2 - turn into proper iml library

Issue - State: closed - Opened by Bronsa over 1 year ago

#1 - lemmas for append

Pull Request - State: closed - Opened by Bronsa over 6 years ago