Search Results for "tptp"

x
Sort By:

Showing 3 open source projects for "tptp"

View related business solutions
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 1
    Automatically test the content of HTML pages among different versions of your web application. Assertions: text, regular expression, XPath and Business Attributes (name-value attributes). Auto generation of assertions from recorded. Eclipse Plug-In.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Eclipse profiler - plugin for profiling Java applications inside of Eclipse. NOTE! Project is dead and does not work on new versions of Eclipse. Use other open source (such as TPTP) or commercial profilers. SWT components library - set of additional SWT
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3
    Automated Theorem Prover implemented in Java and using clause trees. This software will be able to read mathematical theorems from TPTP and prove or disprove them.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

MongoDB Logo MongoDB