English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

The last several years have seen major enhancements to ACL2 functionality,largely driven by requests from its user community, including utilities now incommon use such as 'make-event', 'mbe', and trust tags. In this paper weprovide user-level summaries of some ACL2 enhancements introduced after therelease of Version 3.5 (in May, 2009, at about the time of the 2009 ACL2workshop) up through the release of Version 4.3 in July, 2011, roughly a coupleof years later. Many of these features are not particularly well known yet, butmost ACL2 users could take advantage of at least some of them. Some of thechanges could affect existing proof efforts, such as a change that treats pairsof functions such as 'member' and 'member-equal' as the same function.

How Can I Do That with ACL2? Recent Enhancements to ACL2