FriCAS / Feature Requests / #9 Better Support for Working with Finite Structures.

#9 Better Support for Working with Finite Structures.

Milestone: Next_Release_(example)

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2014-04-13

Created: 2014-04-13

Creator: Martin Baker

Private: No

I would like better support for finite structures such as:

Set Theory (ZF and NBG)
Category Theory
Type Theory
Logic
Lattice
Domain Theory
Topology

Discussion

Log in to post a comment.