foras is a First-Order Reasoner which uses the principles of predicate logic to derive new facts, verify statements, and prove theorems from an existing knowledge base.
A Rust convenience library for populating arrays with values from ranges.
It is currently in development/prototype stage. It's a playground for now, but I intend for it to implement usable functions for easilty pupulate arrays with values from different ranges.